LotrecScheme

DOI10.1016/J.ENTCS.2011.10.015MaRDI QIDQ2825417zbMATH OpenOpenAlexWikidataFDO

Authors François Schwarzentruber

Publication date 7 October 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.10.015

zbMATH Keywords

modal logicsystem descriptiontableau method

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Automated Reasoning with Analytic Tableaux and Related Methods
• \textsc{MetTeL}: a tableau prover with logic-independent inference engine
• TABLEAUX: A general theorem prover for modal logics
• First-order modal tableaux
• The Tableau Workbench

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• A Tableau Method for Public Announcement Logics
• Automated Reasoning with Analytic Tableaux and Related Methods
• scientific article; zbMATH DE number 4219104 (Why is no real title available?)
• scientific article; zbMATH DE number 5654346 (Why is no real title available?)
• scientific article; zbMATH DE number 1765691 (Why is no real title available?)
• Terminating modal tableaux with simple completeness proof
• The tableaux work bench

Cited in

(4)

• Generalized DEL-Sequents
• \textsc{MetTeL}: a tableau prover with logic-independent inference engine
• Normative reasoning and consequence
• Automated Reasoning with Analytic Tableaux and Related Methods

Describes a project that uses

Uses Software

• LoTREC
• PVS
• Lotrecscheme
• Scheme

This page was built for publication: LotrecScheme

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