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...
Cote: | Libro Electrónico |
---|---|
Auteur principal: | |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Cambridge :
Cambridge University Press,
2011.
|
Collection: | Lecture notes in logic ;
no. 38. |
Sujets: | |
Accès en ligne: | Texto completo |