scientific article; zbMATH DE number 698631

MaRDI QIDQ4314073zbMATH OpenFDO

Authors M. J. Cresswell

Publication date 31 October 1995

zbMATH Keywords

Barcan Formulaquantificationquantified modal 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
• Bare possibilia
• Contingent objects and the Barcan formula
• Barcan Both Ways
• scientific article; zbMATH DE number 5295712

Cited in

(14)

• A constructive approach to state description semantics
• Incompleteness and the Barcan formula
• Contingent objects and the Barcan formula
• The quantified argument calculus
• Expressive power of ``now and ``then operators
• scientific article; zbMATH DE number 3887652 (Why is no real title available?)
• Barcan Both Ways
• scientific article; zbMATH DE number 2149470 (Why is no real title available?)
• QMML: Quantified Minimal Modal Logic and Its Applications
• Prior, translational semantics, and the Barcan formula
• Bare possibilia
• The Barcan formulas and necessary existence: the view from quarc
• An arithmetical view to first-order logic
• First-order classical modal logic

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 Q4314073)