Pages that link to "Item:Q409323"
From MaRDI portal
The following pages link to Prefixed tableaus and nested sequents (Q409323):
Displaying 23 items.
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
- Modal interpolation via nested sequents (Q487689) (← links)
- Reflecting on social influence in networks (Q1698338) (← links)
- Maehara-style modal nested calculi (Q1734264) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Nested sequents for intuitionistic logics (Q2443118) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- On Height and Happiness (Q3299847) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- (Q4558785) (← links)
- (Q5015283) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
