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)

• 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

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)