A note on Barcan formula

DOI10.1080/11663081.2018.1439359zbMath1398.03091OpenAlexW2793248390MaRDI QIDQ4586237

Antonio Frias Delgado

Publication date: 12 September 2018

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

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

zbMATH Keywords

modal logicBarcan formula

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• The predicate modal logic of provability
• First-order modal logic
• Contingent objects and the Barcan formula
• Solution of a problem of Leon Henkin
• Modality and quantification in S5
• Barcan Both Ways
• Modal Logic as Metaphysics
• A Functional calculus of first order based on strict implication
• Which modal logic is the right one?
• Bare possibilia

This page was built for publication: A note on Barcan formula