Recommendations
- Deep sequent systems for modal logic
- A systematic proof theory for several modal logics
- Modular sequent systems for modal logic
- Modal sequents for normal modal logics
- Label-free modular systems for classical and intuitionistic modal logics
- A deep inference system for the modal logic S5
- Cut-free modal sequents for normal modal logics
- scientific article; zbMATH DE number 591209
- Labelled proofs for quantified modal logic
- scientific article; zbMATH DE number 970630
Cites work
- scientific article; zbMATH DE number 949290 (Why is no real title available?)
- scientific article; zbMATH DE number 1841813 (Why is no real title available?)
- scientific article; zbMATH DE number 970633 (Why is no real title available?)
- A Local System for Classical Logic
- A deep inference system for the modal logic S5
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- A systematic proof theory for several modal logics
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
- Cut-free sequent calculi for some tense logics
- Deep inference and symmetry in classical proofs
- Deep sequent systems for modal logic
- Display logic
- Displaying modal logic
- MELL in the calculus of structures
- Proof analysis in modal logic
- The Method of Tree-Hypersequents for Modal Propositional Logic
Cited in
(53)- Proof internalization in generalized Frege systems for classical logic
- A fresh view of linear logic as a logical framework
- Local reductions for the modal cube
- scientific article; zbMATH DE number 7561320 (Why is no real title available?)
- Maehara-style modal nested calculi
- Nested sequents for intuitionistic logics
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- A systematic proof theory for several modal logics
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics
- FRACTIONAL-VALUED MODAL LOGIC
- Focused and Synthetic Nested Sequents
- A general proof certification framework for modal logic
- Sequent calculi and decision procedures for weak modal systems
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- A natural deduction calculus for \textbf{S4.2}
- Linear Nested Sequents, 2-Sequents and Hypersequents
- Label-free natural deduction systems for intuitionistic and classical modal logics
- Proof analysis in modal logic
- Nested sequents for intuitionistic modal logics via structural refinement
- Rooted hypersequent calculus for modal logic \textsf{S5}
- A pure view of ecumenical modalities
- Uniform interpolation via nested sequents
- An ecumenical notion of entailment
- A deep inference system for the modal logic S5
- Universal proof theory: semi-analytic rules and Craig interpolation
- Syntactic cut-elimination for common knowledge
- Modular sequent systems for modal logic
- Proofs and countermodels in non-classical logics
- Prefixed tableaus and nested sequents
- Realization for justification logics via nested sequents: modularity through embedding
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- Natural deduction calculi for classical and intuitionistic S5
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
- Multicomponent proof-theoretic method for proving interpolation properties
- Hypersequent rules with restricted contexts for propositional modal logics
- Modal interpolation via nested sequents
- On height and happiness
- Deep sequent systems for modal logic
- Game semantics for constructive modal logic
- Subintuitionistic logics and their modal companions: a nested approach
- Supervenience, dependence, disjunction
- Mechanising Gödel-Löb provability logic in HOL light
- On the proof theory of infinitary modal logic
- Labeled sequent calculi for modal logics and implicit contractions
- Some remarks on the proof-theory and the semantics of infinitary modal logic
- Realization theorems for justification logics: full modularity
- Nested sequent calculi for conditional logics
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
- Some analytic systems of rules
- Disentangling structural connectives or life without display property
- Label-free modular systems for classical and intuitionistic modal logics
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
- Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
This page was built for publication: Deep sequent systems for modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q834716)
