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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge :
Cambridge University Press,
2011.
|
Colección: | Lecture notes in logic ;
no. 38. |
Temas: | |
Acceso en línea: | Texto completo |