Prefixed tableaus and nested sequents
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1114348 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 1395652 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- Deep sequent systems for modal logic
- Explicit provability and constructive semantics
- First-order intensional logic
- First-order modal logic
- Handbook of modal logic
- Introducing Justification into Epistemic Logic
- Justification logic. Reasoning with reasons
- Proof analysis in modal logic
- Proof methods for modal and intuitionistic logics
- Single step tableaux for modal logics. Computational properties, complexity and methodology
- Strongly analytic tableaux for normal modal logics
- Tableau methods for modal and temporal logics
- Tableau methods of proof for modal logics
- Tableaux and Hypersequents for Justification Logic
- The logic of proofs, semantically
Cited in
(26)- A natural deduction calculus for \textbf{S4.2}
- Certification of prefixed tableau proofs for modal logic
- scientific article; zbMATH DE number 6987093 (Why is no real title available?)
- Maehara-style modal nested calculi
- Nested sequent calculi for conditional logics
- Hypersequent rules with restricted contexts for propositional modal logics
- Reflecting on social influence in networks
- Inducing syntactic cut-elimination for indexed nested sequents
- Efficient local reductions to basic modal logic
- Cut Elimination for Extended Sequent Calculi
- A general proof certification framework for modal logic
- Labeled sequent calculi for modal logics and implicit contractions
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- Focused and Synthetic Nested Sequents
- Linear Nested Sequents, 2-Sequents and Hypersequents
- Through an inference rule, darkly
- Nested sequents for intuitionistic logics
- Multicomponent proof-theoretic method for proving interpolation properties
- Local reductions for the modal cube
- Tableaux and interpolation for propositional justification logics
- Labeled sequent calculus for justification logics
- On height and happiness
- Modal interpolation via nested sequents
- Proofs and countermodels in non-classical logics
- Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
- Local is best: efficient reductions to modal logic \textsf{K}
This page was built for publication: Prefixed tableaus and nested sequents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q409323)