Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / Robert Goldblatt.
"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 as propositions...
Saved in:
Main Author: | |
---|---|
Language: | English |
Published: |
Cambridge ; New York :
Cambridge University Press,
2011.
|
Series: | Lecture notes in logic ;
38. |
Subjects: | |
Physical Description: | xiii, 268 pages ; 24 cm. |
Format: | Book |
Contents:
- Machine generated contents note: Introduction and overview; 1. Logics with actualist quantifiers; 2. The Barcan formulas; 3. The existence predicate; 4. Propositional functions and predicate substitution; 5. Identity; 6. Cover semantics for relevant logic; References; Index.