A note on Barcan formula

DOI10.1080/11663081.2018.1439359MaRDI QIDQ4586237zbMATH OpenOpenAlexFDO

Authors 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

• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• A Functional calculus of first order based on strict implication
• Barcan Both Ways
• Bare possibilia
• Contingent objects and the Barcan formula
• First-order modal logic
• Modal Logic as Metaphysics
• Modality and quantification in S5
• Solution of a problem of Leon Henkin
• The predicate modal logic of provability
• Which modal logic is the right one?

Cited in

(1)

• scientific article; zbMATH DE number 6840806 (Why is no real title available?)

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

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