THE LOGIC OF SEQUENCE FRAMES

DOI10.1017/S1755020320000325MaRDI QIDQ5065138zbMATH OpenOpenAlexFDO

Authors 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

actualityaprioritycompletenessdecidabilitymany-dimensional modal logicnecessitytableaux

Mathematics Subject Classification ID

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

Recommendations

• What is the correct logic of necessity, actuality and apriority?
• A cut-free sequent system for two-dimensional modal logic, and why it matters
• Actuality, tableaux, and two-dimensional modal logics
• A two-dimensional logic for diagonalization and the a priori
• A logic for epistemic two-dimensional semantics
• Semantic facts on Kripke frames
• scientific article; zbMATH DE number 35414
• scientific article; zbMATH DE number 3935006
• Multi-dimensional modal logic
• A Note on Axiomatisations of Two-Dimensional Modal Logics

Cites work

• A cut-free sequent system for two-dimensional modal logic, and why it matters
• A logic for epistemic two-dimensional semantics
• Actuality in propositional modal logic
• Actuality, tableaux, and two-dimensional modal logics
• An incompleteness theorem for modal relevant logics
• Expressive completeness in modal language
• First-order modal logic
• scientific article; zbMATH DE number 3604872 (Why is no real title available?)
• scientific article; zbMATH DE number 2019856 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Many-dimensional modal logics: theory and applications
• Modal logic
• Proof methods for modal and intuitionistic logics
• Representability in second-order propositional poly-modal logic
• Two-dimensional semantics and the nesting problem
• Two-dimensional tableaux
• What is the correct logic of necessity, actuality and apriority?

Cited in

(11)

• A theory of hypermodal logics: Mode shifting in modal logic
• Actuality, tableaux, and two-dimensional modal logics
• Multi-dimensional semantics for modal logics
• Orthogonal frames and indexed relations
• What is the correct logic of necessity, actuality and apriority?
• Two-dimensional tableaux
• scientific article; zbMATH DE number 2019843 (Why is no real title available?)
• A cut-free sequent system for two-dimensional modal logic, and why it matters
• scientific article; zbMATH DE number 2105671 (Why is no real title available?)
• On modal logics of Hamming spaces
• Relational Sequence Alignments and Logos

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

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