Tools and techniques in modal logic
type: Item
instance of: scholarly article
title: Tools and techniques in modal logic
zbMATH Open document ID: 0927.03002
published in: Studies in Logic and the Foundations of Mathematics
publication date: 1999-08-08T00:00:00Z
review text: This book is intended as an advanced course in (poly)modal logic. The emphasis is on the inner structure of modal logic seen as a theory and on the connections between such subdisciplines as completeness, correspondence, duality, and transfer theory. Algebraic techniques are heavily used throughout the book. In the first part of the book, the basic terminology and techniques of modal logic as completeness, possible-world frames, general frames, correspondence, canonical models, decidability, tableaux, normal forms, and modal consequence relations are outlined. In the second part, duality, correspondence, transfer, and lattice theory are discussed. In the third (last) part, selected issues, such as extensions of \textbf{K4}, logics of bounded alternativity, and dynamic logic, are presented.
reviewed by: Anna Gomolińska
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1321170
zbMATH Keywords: polymodal logic
zbMATH Keywords: modal logic
zbMATH Keywords: completeness
zbMATH Keywords: correspondence
zbMATH Keywords: duality
zbMATH Keywords: transfer
zbMATH Keywords: frames
zbMATH Keywords: canonical models
zbMATH Keywords: decidability
zbMATH Keywords: tableaux
zbMATH Keywords: normal forms
zbMATH Keywords: modal consequence relations
zbMATH Keywords: lattice theory
zbMATH Keywords: dynamic logic
author: Marcus Kracht
MaRDI profile type: Publication
Recommended article: Modal logic and model theory
Recommended article: Q3408862
Recommended article: Modal logics, justification logics, and realization
Recommended article: Q5413353
Recommended article: Q4394917
Recommended article: Q4532193
Recommended article: Q4817192
Recommended article: Modal logic
Recommended article: Q3128959
Recommended article: Abstract modal logics
description: scientific article; zbMATH DE number 1321170