Publication:4215593
From MaRDI portal
zbMath0911.03009MaRDI QIDQ4215593
Jerry Seligman, Patrick Blackburn
Publication date: 27 April 1999
undecidability; modal logic; decidability; satisfiability problem; tense logic; expressiveness; hybridisation; hierarchy of hybrid languages
03B45: Modal logic (including the logic of norms)
Related Items
Interval vs. Point Temporal Logic Model Checking, Expressive power of ``now and ``then operators, The complexity of satisfiability for fragments of hybrid logic. I., Complexity of hybrid logics over transitive frames, Complexity and succinctness issues for linear-time hybrid logics, The complexity of hybrid logics over equivalence relations, Applying model-checking to solve queries on semistructured data, Modal logic, truth, and the master modality., Model checking hybrid logics (with an application to semistructured data), Higher-Order Syntax and Saturation Algorithms for Hybrid Logic, Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems, Complexity and Succinctness Issues for Linear-Time Hybrid Logics