scientific article; zbMATH DE number 3887652

MaRDI QIDQ3222163zbMATH OpenFDO

Authors Gerold Stahl

Publication date 1984

zbMATH Keywords

Barcan formulaKripke semanticsquantified modal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 698631
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Barcan Both Ways
• Incompleteness and the Barcan formula
• Bare possibilia

Cited in

(9)

• The quantified argument calculus
• Worlds and models in Bayart and Carnap
• scientific article; zbMATH DE number 698631 (Why is no real title available?)
• Barcan Both Ways
• ``Necessary for
• Prior, translational semantics, and the Barcan formula
• Bare possibilia
• The Barcan formulas and necessary existence: the view from quarc
• How did Avicenna understand the Barcan formulas?

This page was built for publication:

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