From Frame Properties to Hypersequent Rules in Modal Logics

DOI10.1109/LICS.2013.47MaRDI QIDQ5271078zbMATH OpenWikidataFDO

Authors Ori Lahav

Publication date 3 July 2017

Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/LICS.2013.47

zbMATH Keywords

cut-admissibilityframe propertieshypersequent calculimodal logicproof theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Hypersequent rules with restricted contexts for propositional modal logics
• Frame correspondences in modal predicate logic
• Frames for fusions of modal logics
• scientific article; zbMATH DE number 877745
• Toward a general frame semantics for modal many-valued logics
• scientific article; zbMATH DE number 1989658
• Frame definability in finitely valued modal logics
• General frames for relevant modal logics
• Modal logics of reactive frames
• A generalization of modal frame definability

Cited in

(37)

• Multicomponent proof-theoretic method for proving interpolation properties
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Cyclic hypersequent calculi for some modal logics with the master modality
• Bounded sequent calculi for non-classical logics via hypersequents
• Hypersequent and display calculi -- a unified perspective
• Intermediate logics admitting a structural hypersequent calculus
• Hypersequent calculi for S5: the methods of cut elimination
• Axioms vs hypersequent rules with context restrictions: theory and applications
• Through an inference rule, darkly
• On a multilattice analogue of a hypersequent S5 calculus
• Hypersequent rules with restricted contexts for propositional modal logics
• Linear Nested Sequents, 2-Sequents and Hypersequents
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• scientific article; zbMATH DE number 1252393 (Why is no real title available?)
• Cut elimination theorem for non-commutative hypersequent calculus
• scientific article; zbMATH DE number 6863852 (Why is no real title available?)
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames
• Formalizing action and change in modal logic I: the frame problem
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• Syntactic Completeness of Proper Display Calculi
• Proof theory of Riesz spaces and modal Riesz spaces
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
• Power and limits of structural display rules
• Interpolation method for multicomponent sequent calculi
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Cut-free hypersequent calculus for S4.3.
• A labelled sequent calculus for half-order modal logic
• Rooted hypersequent calculus for modal logic \textsf{S5}
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5
• Some analytic systems of rules
• Internal and external calculi: ordering the jungle without being lost in translations
• Twist sequent calculi for S4 and its neighbors
• Proof theory and decision procedures for deontic STIT logics
• Algebraic proof theory: hypersequents and hypercompletions
• The bounded proof property via step algebras and step frames

This page was built for publication: From Frame Properties to Hypersequent Rules in Modal Logics

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