THE LOGIC OF SEQUENCE FRAMES

DOI10.1017/S1755020320000325OpenAlexW3044351092MaRDI QIDQ5065138

Fabio Lampert

Publication date: 18 March 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020320000325

zbMATH Keywords

completenesstableauxdecidabilityactualitynecessitymany-dimensional modal logicapriority

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A cut-free sequent system for two-dimensional modal logic, and why it matters
• Proof methods for modal and intuitionistic logics
• Expressive completeness in modal language
• Many-dimensional modal logics: theory and applications
• Actuality, tableaux, and two-dimensional modal logics
• First-order modal logic
• An incompleteness theorem for modal relevant logics
• Actuality in propositional modal logic
• A logic for epistemic two-dimensional semantics
• WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY?
• Representability in second-order propositional poly-modal logic
• Two-dimensional semantics and the nesting problem

This page was built for publication: THE LOGIC OF SEQUENCE FRAMES