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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Goldblatt, Robert
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2011.
Colección:Lecture notes in logic ; no. 38.
Temas:
Modality (Logic)
Variables (Mathematics)
Semantics (Philosophy)
Logic, Symbolic and mathematical.
Modalité (Logique)
Variables (Mathématiques)
Sémantique (Philosophie)
Logique symbolique et mathématique.
MATHEMATICS > General.
Logic, Symbolic and mathematical
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares