Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics
Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count a...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2011
|
| Series: | Lecture notes in logic
|
| Subjects: | |
| Online Access: | |
| Collection: | Cambridge Books Online - Collection details see MPG.ReNa |
Table of Contents:
- Introduction and overview
- Chapter 1. Logics with actualist quantifiers
- Chapter 2. The Barcan formulas
- Chapter 3. The existence predicate
- Chapter 4. Propositional functions and predicate substitution
- Chapter 5. Identity
- Chapter 6. Cover semantics for relevant logic