PP-2006-30: van Benthem, Johan and Blackburn, Patrick (2006) Modal Logic: A Semantic Perspective. [Report]
Preview |
Text (Full Text)
PP-2006-30.text.pdf Download (587kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2006-30.abstract.txt Download (856B) |
Abstract
This is a chapter in the forthcoming "Handbook of Modal Logic",
written as an introduction to the modus operandi of keeping a balance
between expressive power and complexity found in modal languages. With
this theme as a running thread, we survey the basic model theory of
modal logic over both models and frames, as well as basic results on
complexity. Against this background, we provide a uniform look at many
well-known modal formalisms, including epistemic, dynamic, temporal,
and conditional logic. Finally, although our main emphasis is on
relational models: i.e., graphs, we also discuss the major alternative
semantics.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2006-30 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2006 |
| Uncontrolled Keywords: | modal logic; definability; complexity; ; bisimulation; extended modal languages; ; frame correspondence; alternative semantics |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/205 |
Actions (login required)
 |
View Item |
