Commutativity of Quantifiers in Varying-Domain Kripke Models

DOI10.1007/978-1-4020-9084-4_2zbMath1167.03016OpenAlexW2227623256MaRDI QIDQ3600561

Robert Goldblatt, I. M. Hodkinson

Publication date: 5 February 2009

Published in: Towards Mathematical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-9084-4_2

zbMATH Keywords

Kripke modelspossible-worlds semanticsfirst-order modal logicBarcan formulacommutative quantification law for universal quantifiersconverse Barcan formulanon-Kripke models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (4)

QUANTIFIED MODAL RELEVANT LOGICS ⋮ General information in relevant logic ⋮ The nature of information: a relevant approach ⋮ Ultraproducts of Admissible Models for Quantified Modal Logic

Cites Work

• The permutation principle in quantificational logic
• Some embedding theorems for modal logic
• An alternative semantics for quantified relevant logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Commutativity of Quantifiers in Varying-Domain Kripke Models