Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/B12030MaRDI QIDQ5187857zbMATH OpenOpenAlexFDO

Authors Olivier Brunet

Publication date 9 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b12030

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Recommendations

• Labelled sequent calculus for inquisitive logic
• Labeled sequent calculus for justification logics
• A theory of observables for logic programs
• Labeled Sequent Calculus for Orthologic
• Labelled sequent calculi for logics of strict implication
• Observable Semantics for Constraint Logic Programs
• A labelled sequent calculus for half-order modal logic
• Labeled sequent calculi for modal logics and implicit contractions
• A multi-labelled sequent calculus for topo-logic
• A cut-free labelled sequent calculus for dynamic epistemic logic

Cited in

(2)

• Observational Semantics for Dynamic Logic with Binders
• Labeled Sequent Calculus for Orthologic

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5187857)