Pages that link to "Item:Q3600562"
From MaRDI portal
The following pages link to The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562):
Displaying 29 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- A cut-free sequent system for two-dimensional modal logic, and why it matters (Q450956) (← links)
- Syntactic cut-elimination for a fragment of the modal mu-calculus (Q714717) (← links)
- Deep sequent systems for modal logic (Q834716) (← links)
- A contraction-free and cut-free sequent calculus for propositional dynamic logic (Q965900) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Modal trees: Correction to a decision procedure for S5 (and T) (Q1099159) (← links)
- Maehara-style modal nested calculi (Q1734264) (← links)
- On graphs for intuitionistic modal logics (Q1744424) (← links)
- VDM specification for the tree-modification method of refutation (Q1817122) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Nested sequents for intuitionistic logics (Q2443118) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← links)
- On Height and Happiness (Q3299847) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- NP trees and Carnap's modal logic (Q4369870) (← links)
- Tree-sequent calculi and decision procedures for intuitionistic modal logics (Q4612431) (← links)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
- (Q5090950) (← links)
- (Q5101338) (← links)
- A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY (Q5850981) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
