Deep sequent systems for modal logic
From MaRDI portal
Publication:834716
DOI10.1007/S00153-009-0137-3zbMATH Open1180.03023OpenAlexW1966647830MaRDI QIDQ834716FDOQ834716
Authors: Kai Brünnler 
Publication date: 27 August 2009
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-009-0137-3
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
- Display logic
- Proof analysis in modal logic
- Title not available (Why is that?)
- Deep sequent systems for modal logic
- The Method of Tree-Hypersequents for Modal Propositional Logic
- Cut-free sequent calculi for some tense logics
- Displaying modal logic
- A Local System for Classical Logic
- MELL in the calculus of structures
- A systematic proof theory for several modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deep inference and symmetry in classical proofs
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- A deep inference system for the modal logic S5
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
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
- Title not available (Why is that?)
- Maehara-style modal nested calculi
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Nested sequents for intuitionistic logics
- 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
- A natural deduction calculus for \textbf{S4.2}
- Sequent calculi and decision procedures for weak modal systems
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- 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
- Universal proof theory: semi-analytic rules and Craig interpolation
- A deep inference system for the modal logic S5
- Syntactic cut-elimination for common knowledge
- Modular sequent systems for modal logic
- Proofs and countermodels in non-classical logics
- Natural deduction calculi for classical and intuitionistic S5
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- Prefixed tableaus and nested sequents
- Realization for justification logics via nested sequents: modularity through embedding
- 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
- On height and happiness
- Modal interpolation via nested sequents
- Deep sequent systems for modal logic
- Subintuitionistic logics and their modal companions: a nested approach
- Supervenience, dependence, disjunction
- Game semantics for constructive modal logic
- Mechanising Gödel-Löb provability logic in HOL light
- On the proof theory of infinitary modal logic
- Some remarks on the proof-theory and the semantics of infinitary modal logic
- Labeled sequent calculi for modal logics and implicit contractions
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
- Some analytic systems of rules
- Realization theorems for justification logics: full modularity
- Nested sequent calculi for conditional logics
- Label-free modular systems for classical and intuitionistic modal logics
- Disentangling structural connectives or life without display property
- Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
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)
