Barcan Both Ways

DOI10.1080/11663081.1999.10510970zbMath0993.03016OpenAlexW2028772336MaRDI QIDQ4531581

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

domainsmodal logicequalityBarcan formulaconverse Barcan formula

Mathematics Subject Classification ID

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

Related Items (5)

A note on Barcan formula ⋮ The Barcan formulas and necessary existence: the view from quarc ⋮ A first-order coalition logic for BDI-agents ⋮ EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS ⋮ THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

Cites Work

• Proof methods for modal and intuitionistic logics
• Tableau methods of proof for modal logics
• A Functional calculus of first order based on strict implication
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Barcan Both Ways