scientific article; zbMATH DE number 1765691

zbMath0988.68592MaRDI QIDQ4539631

D. Longin, Andreas Herzig, Olivier Gasquet, Luis Fariñas del Cerro, David Fauthoux

Publication date: 10 July 2002

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Related Items (6)

Unnamed Item ⋮ Solving modal logic problems by translation to higher-order logic ⋮ Capturing equilibrium models in modal logic ⋮ LotrecScheme ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ On coarser interval temporal logics

Uses Software

• PVS
• LoTREC

This page was built for publication: