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

"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