Barcan Both Ways

DOI10.1080/11663081.1999.10510970MaRDI QIDQ4531581zbMATH OpenOpenAlexFDO

Authors Melvin Fitting

Publication date 22 May 2002

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1999.10510970

zbMATH Keywords

Barcan formulaconverse Barcan formuladomainsequalitymodal logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 3887652
• scientific article; zbMATH DE number 698631
• scientific article; zbMATH DE number 817497
• Quantification in some non-normal modal logics
• Bare possibilia

Cites work

• A Functional calculus of first order based on strict implication
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1395652 (Why is no real title available?)
• Proof methods for modal and intuitionistic logics
• Tableau methods for modal and temporal logics
• Tableau methods of proof for modal logics

Cited in

(12)

• Quantification in some non-normal modal logics
• A first-order coalition logic for BDI-agents
• scientific article; zbMATH DE number 3887652 (Why is no real title available?)
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• scientific article; zbMATH DE number 698631 (Why is no real title available?)
• A note on Barcan formula
• THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
• EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
• Bare possibilia
• The Barcan formulas and necessary existence: the view from quarc
• Comparing the derivation of modal domains and strengthened meanings
• What is intuitionistic arithmetic?

This page was built for publication: Barcan Both Ways

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