Lotrec: The generic tableau prover for modal and description logics

DOI10.1007/3-540-45744-5_38MaRDI QIDQ4539631zbMATH OpenFDO

Authors Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin

Publication date 10 July 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830453

Mathematics Subject Classification ID

Cited in

(11)

• On coarser interval temporal logics
• Capturing equilibrium models in modal logic
• LotrecScheme
• An efficient relational deductive system for propositional non-classical logics
• Normative reasoning and consequence
• Solving modal logic problems by translation to higher-order logic
• Refined tableau systems for some modal logics of confluence
• Solving quantified modal logic problems by translation to classical logics
• A proof-theoretic approach to formal epistemology
• Pgeon: generating tableau-based provers from declarative specifications of logical calculi
• Finite model finding in first-order modal logics

Describes a project that uses

Uses Software

• LoTREC
• PVS

This page was built for publication: Lotrec: The generic tableau prover for modal and description logics

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