scientific article; zbMATH DE number 1765691

zbMATH Open0988.68592MaRDI QIDQ4539631FDOQ4539631

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Cited In (6)

• Solving modal logic problems by translation to higher-order logic
• On coarser interval temporal logics
• Normative reasoning and consequence
• LotrecScheme
• An efficient relational deductive system for propositional non-classical logics
• Capturing equilibrium models in modal logic

Uses Software

• PVS
• LoTREC

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)