From Frame Properties to Hypersequent Rules in Modal Logics
From MaRDI portal
Publication:5271078
DOI10.1109/LICS.2013.47zbMath1366.03188MaRDI QIDQ5271078
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Related Items (24)
Power and Limits of Structural Display Rules ⋮ Interpolation Method for Multicomponent Sequent Calculi ⋮ Cyclic hypersequent calculi for some modal logics with the master modality ⋮ Syntactic Completeness of Proper Display Calculi ⋮ Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Rooted hypersequent calculus for modal logic \textsf{S5} ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Cut Elimination Theorem for Non-Commutative Hypersequent Calculus ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ Eliminability of cut in hypersequent calculi for some modal logics of linear frames ⋮ Through an Inference Rule, Darkly ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ Hypersequent and display calculi -- a unified perspective ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Unnamed Item ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ The bounded proof property via step algebras and step frames ⋮ CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D
This page was built for publication: From Frame Properties to Hypersequent Rules in Modal Logics
