Actuality, tableaux, and two-dimensional modal logics

DOI10.1007/s10670-017-9896-0zbMath1403.03032OpenAlexW2621794756MaRDI QIDQ1797901

Fabio Lampert

Publication date: 22 October 2018

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10670-017-9896-0

zbMATH Keywords

first-order modal logicsemantic tableauxtwo-dimensional logic

Mathematics Subject Classification ID

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

Related Items (2)

THE LOGIC OF SEQUENCE FRAMES ⋮ A two-dimensional logic for diagonalization and the a priori

Cites Work

• A cut-free sequent system for two-dimensional modal logic, and why it matters
• In the mood
• Axioms for actuality
• First-order modal logic with an `actually' operator
• The eliminability of the actuality operator in propositional modal logic
• First-order modal logic
• On the expressive power of first-order modal logic with two-dimensional operators
• Actuality in propositional modal logic
• A logic for epistemic two-dimensional semantics
• WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY?
• A completeness theorem in modal logic
• SEMANTIC POLLUTION AND SYNTACTIC PURITY
• Roles, Rigidity, and Quantification in Epistemic Logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Two-dimensional modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Actuality, tableaux, and two-dimensional modal logics