β Scribed by Edith Spaan
No coin nor oath required. For personal study only.
This is a doctoral dissertation of Edith Spaan under the supervision of prof. Johan van Benthem.
1 Introduction
2 Modal Logic and Complexity
2.1 A Bit of Modal Logic
2.2 A Bit of Complexity
2.3 Tiling Problems
2.4 Towards General Modal Complexity Results
3 The Complexity of the Join
3.1 Introduction
3.2 Upper Bound Transfer
3.3 The Power of the Join
3.4 Classification
3.5 The Complexity of the General Join
3.6 The Structure of the Join of Frames
4 Enriching the Language
4.1 Introduction
4.2 Upper Bounds
4.3 Lower Bounds
4.4 Classification
5 The Complexity of Attribute Value Logics
5.1 Introduction
5.2 Attribute Value Logic
5.3 Complexity Results for L, LN and LKR
5.4 The Universal Modality
5.5 The Master Modality
5.6 Concluding Remarks
6 Nexttime is Not Necessary
6.1 Introduction
6.2 Syntax and Semantics
6.3 From Points to Intervals
6.4 Forcing Models to be Gridlike
6.5 Variations on a Theme by Ladner and Reif
6.6 A Generic Reduction from Linear to Branching Time
Bibliography
π SIMILAR VOLUMES
This is a doctoral dissertation of Edith Spaan under the supervision of prof. Johan van Benthem.
In this thesis we investigate modal logics from a lattice theoretic point of view. There are essentially two well-known methods of research on lattices of modal logics. The investigation of the lattice of modal logics as a whole, and the local investigation of the lattice of extensions of some stron
In this thesis we investigate modal logics from a lattice theoretic point of view. There are essentially two well-known methods of research on lattices of modal logics. The investigation of the lattice of modal logics as a whole, and the local investigation of the lattice of extensions of some stron
This thesis takes an algorithmic perspective on the correspondence between modal and hybrid logics on the one hand, and first-order logic on the other. The canonicity of formulae, and by implication the completeness of logics, is simultaneously treated. Modal formulae define second-order condit
This dissertation is about extending modal logic. It tells you what a system of extended modal logic is, it gives you three case studies of systems of modal logic, and it gives you very general approaches to two important themes in modal logic.