The computational complexity of hybrid temporal logics

DOI10.1093/JIGPAL/8.5.653MaRDI QIDQ4511543zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Patrick Blackburn, Maarten Marx

Publication date 2 May 2001

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/8.5.653

zbMATH Keywords

computational complexityhybrid logicsatisfiability problemtemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• scientific article; zbMATH DE number 1424043
• The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I
• Computational complexity of hybrid interval temporal logics
• Complexity of hybrid logics over transitive frames
• Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic

Cited in

(46)

• Model checking for hybrid logic
• The complexity of hybrid logics over equivalence relations
• Hybrid logics of separation axioms
• The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
• Remarks on Gregory's ``actually operator
• Hierarchies of modal and temporal logics with reference pointers
• On the expressive power of hybrid branching-time logics
• Computational complexity of hybrid interval temporal logics
• On the expressiveness of TPTL and MTL
• Hybrid fragments of Halpern-Shoham logic and their expressive power
• Resolution with order and selection for hybrid logics
• The expressibility of fragments of hybrid graph logic on finite digraphs
• Model checking hybrid logics (with an application to semistructured data)
• Deciding regular grammar logics with converse through first-order logic
• Hybrid logics: Characterization, interpolation and complexity
• Expressiveness of hybrid temporal logic on data words
• Modal expressiveness of graph properties
• Undecidability of multi-modal hybrid logics
• Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
• An epistemic logic with hypotheses
• The expressive power of memory logics
• On the Hybrid Extension of CTL and CTL +
• The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I
• Complexity and Succinctness Issues for Linear-Time Hybrid Logics
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
• An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
• IV. Semantic extensions of SQEMA
• Hybrid languages and temporal logic
• scientific article; zbMATH DE number 1424043 (Why is no real title available?)
• Hybrid tableaux for the difference modality
• Experiments in theorem proving for topological hybrid logic
• On the expressive power of hybrid branching-time logics
• scientific article; zbMATH DE number 7577569 (Why is no real title available?)
• Reichenbach, Prior and hybrid tense logic
• A Logical Approach to Hamiltonian Graphs
• Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
• Indexical hybrid tense logic
• A logic for metric and topology
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
• The complexity of satisfiability for fragments of hybrid logic. I.
• Complexity of hybrid logics over transitive frames
• Hybrid modal operators for definite descriptions
• Data-aware hybrid tableaux
• \({\mathcal E}\)-connections of abstract description systems
• Subject-oriented spatial logic
• The many faces of counts-as: A formal analysis of constitutive rules

This page was built for publication: The computational complexity of hybrid temporal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4511543)