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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Goldblatt, Robert
Format: Electronic eBook
Language:Inglés
Published: Cambridge : Cambridge University Press, 2011.
Series:Lecture notes in logic ; no. 38.
Subjects:
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
Online Access:Texto completo
Table of 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.

Similar Items