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

DOI10.1215/00294527-2021-0015OpenAlexW3171228753WikidataQ113751502 ScholiaQ113751502MaRDI QIDQ1982016FDOQ1982016

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal Logic as Metaphysics
• Bare possibilia
• Necessity and truth theories
• Model theory for modal logic. I: The de re / de dicto distinction
• Toward a theory of second-order consequence

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Modal logics for qualitative possibility theory 👍 👎
• Title not available (Why is that?) 👍 👎
• MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION 👍 👎
• A Systematic Presentation of Quantified Modal Logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Quantified modal logic 👍 👎
• QUANTIFIED MODAL RELEVANT LOGICS 👍 👎
• Tableau Metatheorem for Modal Logics 👍 👎

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)