Commutativity of Quantifiers in Varying-Domain Kripke Models

DOI10.1007/978-1-4020-9084-4_2MaRDI QIDQ3600561zbMATH OpenOpenAlexFDO

Authors Robert Goldblatt, Ian 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

Barcan formulacommutative quantification law for universal quantifiersconverse Barcan formulafirst-order modal logicKripke modelsnon-Kripke modelspossible-worlds semantics

Mathematics Subject Classification ID

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

Recommendations

• A unified completeness theorem for quantified modal logics
• scientific article; zbMATH DE number 817497
• Barcan Both Ways
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Quantification in some non-normal modal logics

Cites work

• An alternative semantics for quantified relevant logic
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• scientific article; zbMATH DE number 1852921 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• Some embedding theorems for modal logic
• The permutation principle in quantificational logic

Cited in

(5)

• scientific article; zbMATH DE number 177255 (Why is no real title available?)
• Ultraproducts of admissible models for quantified modal logic
• QUANTIFIED MODAL RELEVANT LOGICS
• The nature of information: a relevant approach
• General information in relevant logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3600561)