PP-2006-30: Modal Logic: A Semantic Perspective

PP-2006-30: van Benthem, Johan and Blackburn, Patrick (2006) Modal Logic: A Semantic Perspective. [Report]

[img]
Preview
Text (Full Text)
PP-2006-30.text.pdf

Download (587kB) | Preview
[img] 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 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 View Item