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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2011.
|
| Series: | Lecture notes in logic ;
38. |
| Subjects: | |
| Online Access: | CONNECT |
