A two-dimensional logic for diagonalization and the a priori

DOI10.1007/s11229-020-02574-7zbMath1525.03068OpenAlexW3010199777MaRDI QIDQ6088589

Melissa Fusco

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-020-02574-7

zbMATH Keywords

modal logicdiagonalizationactualitynecessitytwo-dimensional semanticsapriority

Mathematics Subject Classification ID

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

Cites Work

• A cut-free sequent system for two-dimensional modal logic, and why it matters
• Information dynamics and uniform substitution
• Remarks on Gregory's ``actually operator
• Actuality, tableaux, and two-dimensional modal logics
• Actuality in propositional modal logic
• A logic for epistemic two-dimensional semantics
• Modal logic with subjunctive conditionals and dispositional predicates
• WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY?
• Evidence, Decision and Causality
• Modal Logic as Metaphysics
• Indeterminist time and truth‐value gaps<sup>1</sup>
• Two-dimensional modal logic
• Completeness and decidability results for some propositional modal logics containing ``actually operators
• Which modal logic is the right one?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A two-dimensional logic for diagonalization and the a priori