scientific article; zbMATH DE number 1765691

MaRDI QIDQ4539631zbMATH OpenFDO

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

Publication date 10 July 2002

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

Mathematics Subject Classification ID

Cited in

(9)

• Solving modal logic problems by translation to higher-order logic
• On coarser interval temporal logics
• A proof-theoretic approach to formal epistemology
• Normative reasoning and consequence
• Refined tableau systems for some modal logics of confluence
• LotrecScheme
• An efficient relational deductive system for propositional non-classical logics
• Solving quantified modal logic problems by translation to classical logics
• Capturing equilibrium models in modal logic

Describes a project that uses

Uses Software

• LoTREC
• PVS

This page was built for publication:

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