scientific article; zbMATH DE number 1222484

zbMath0919.03018MaRDI QIDQ4218015

Dov M. Gabbay, I. M. Hodkinson

Publication date: 31 August 1999

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

zbMATH Keywords

modal logictemporal logicdatabase logiclogic of timecomputer science applicationshandling of time in pure logic and in computing

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45)

Related Items

Multiagent temporal logics with multivaluations, Multiagent temporal logics, unification problems, and admissibilities, Temporal multi-valued logic with lost worlds in the past, Many-valued multi-modal logics, satisfiability problem, Dynamic temporal logical operations in multi-agent logics, Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms, Multi-agent temporal nontransitive linear logics and the admissibility problem, Branching time logics with multiagent temporal accessibility relations, Branching time agents logics, satisfiability problem by rules in reduced form