Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics
Robert Goldblatt · 2011
Introduction and overview 1. Logics with actualist quantifiers 2. The Barcan formulas 3. The existence predicate 4. Propositional functions and predicate substitution 5. Identity 6. Cover semantics for relevant logic References Index.