Quantifiers, propositions and identity [electronic resource] : admissible semantics for quantified modal and substructural logics / Robert Goldblatt.

Show other versions (2)

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

Full description

Bibliographic Details
Uniform Title:Lecture notes in logic ; 38.
Main Author: Goldblatt, Robert
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2011.
Series:Lecture notes in logic ; 38.
Subjects:
Modality (Logic)
Variables (Mathematics)
Semantics (Philosophy)
Logic, Symbolic and mathematical.
Online Access:
ProQuest Ebook Central - Academic Complete: 2011 (Ebook Central @ Proquest)
EBSCO eBooks: 2011 (EBSCO)
eBook Academic Collection (EBSCOhost) – North America: 2011 (EBSCO)
Variant Title:
Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics
Format: Electronic eBook
Contents:
  • 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.