Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/B12030zbMATH Open1274.03036OpenAlexW4302076531MaRDI QIDQ5187857

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

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

Related Items (2)

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Labeled sequent calculus for justification logics 👍 👎
• Labeled sequent calculi for modal logics and implicit contractions 👍 👎
• Labelled sequent calculus for inquisitive logic 👍 👎
• A theory of observables for logic programs 👍 👎
• Observable Semantics for Constraint Logic Programs 👍 👎
• A multi-labelled sequent calculus for Topo-Logic 👍 👎
• A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic 👍 👎
• 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)