Modal metatheory for quantified modal logic, with and without the Barcan formulas

DOI10.1215/00294527-2021-0015MaRDI QIDQ1982016zbMATH OpenOpenAlexWikidataFDO

Authors Andrew Joseph Mccarthy

Publication date 7 September 2021

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2021-0015

zbMATH Keywords

contingentismnecessitismquantified modal logicBarcan formulas

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4095430
• scientific article; zbMATH DE number 817497
• Modal logics for qualitative possibility theory
• Publication:4934143
• Modal logic without contraction in a metatheory without contraction
• A Systematic Presentation of Quantified Modal Logics
• scientific article; zbMATH DE number 5295712
• Quantified modal logic
• QUANTIFIED MODAL RELEVANT LOGICS
• Tableau metatheorem for modal logics

Cites work

• scientific article; zbMATH DE number 5527835 (Why is no real title available?)
• scientific article; zbMATH DE number 1222490 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 5238362 (Why is no real title available?)
• Bare possibilia
• Modal Logic as Metaphysics
• Model theory for modal logic. I: The de re / de dicto distinction
• Necessity and truth theories
• Toward a theory of second-order consequence

Cited in

(3)

• The Barcan formulas and necessary existence: the view from quarc
• scientific article; zbMATH DE number 4095430 (Why is no real title available?)
• scientific article; zbMATH DE number 1936763 (Why is no real title available?)

This page was built for publication: Modal metatheory for quantified modal logic, with and without the Barcan formulas

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