The following pages link to (Q4945233):
Displayed 31 items.
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- The complexity of hybrid logics over equivalence relations (Q1047797) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- On the expressive power of hybrid branching-time logics (Q1989342) (← links)
- On the expressive power of first-order modal logic with two-dimensional operators (Q2218707) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- Controlled query evaluation with open queries for a decidable relational submodel (Q2385449) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Higher-Order Syntax and Saturation Algorithms for Hybrid Logic (Q2867945) (← links)
- Undecidability of Multi-modal Hybrid Logics (Q2867946) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Putting ABox Updates into Action (Q3655202) (← links)
- HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)
- (Q5015266) (← links)
- A Logical Approach to Hamiltonian Graphs (Q5178965) (← links)
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) (← links)