Quantifiers, Propositions and Identity

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. This requires a new interpretation of quantifiers that takes into account the admissibility of p...