The following pages link to (Q3509048):
Displayed 24 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- Syntactic cut-elimination for a fragment of the modal mu-calculus (Q714717) (← links)
- Deep sequent systems for modal logic (Q834716) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- Maehara-style modal nested calculi (Q1734264) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information (Q2805170) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655) (← links)
- The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562) (← links)
- Deep Inference in Bi-intuitionistic Logic (Q3638293) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- (Q4558785) (← links)
- Syntactic Cut-elimination for Common Knowledge (Q4982123) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- Provability multilattice logic (Q6040535) (← links)
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics (Q6172067) (← links)