Pages that link to "Item:Q2758042"

The following pages link to Hybrid logics: Characterization, interpolation and complexity (Q2758042):

Displaying 50 items.

• Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
• Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
• On bisimulations for description logics (Q527171) (← links)
• Complexity of hybrid logics over transitive frames (Q631089) (← links)
• A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
• Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
• Arthur Prior and hybrid logic (Q857663) (← links)
• Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
• A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
• Complexity and succinctness issues for linear-time hybrid logics (Q1044839) (← links)
• Hybrid logic meets IF modal logic (Q1047800) (← links)
• Branching-time logics repeatedly referring to states (Q1047801) (← links)
• Repairing the interpolation theorem in quantified modal logic (Q1412840) (← links)
• Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
• On the verification of architectural reconfigurations (Q1749140) (← links)
• Modal logic, truth, and the master modality. (Q1857362) (← links)
• Hybrid languages (Q1909610) (← links)
• On the expressive power of hybrid branching-time logics (Q1989342) (← links)
• Indistinguishability, choices, and logics of agency (Q2016056) (← links)
• IF modal logic and classical negation (Q2016064) (← links)
• Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
• Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
• Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
• A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
• Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
• The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)
• Polynomial hierarchy graph properties in hybrid logic (Q2453580) (← links)
• Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
• A logic of reachable patterns in linked data-structures (Q2643337) (← links)
• Higher-order syntax and saturation algorithms for hybrid logic (Q2867945) (← links)
• Testing XML constraint satisfiability (Q2867947) (← links)
• A hybridization of irreflexive modal logics (Q2867951) (← links)
• Hybridizing a logical framework (Q2867954) (← links)
• An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
• THE EXPRESSIVE POWER OF MEMORY LOGICS (Q3094189) (← links)
• Constructive interpolation in hybrid logic (Q3160549) (← links)
• Ensuring Correctness of Model Transformations While Remaining Decidable (Q3179408) (← links)
• On the Hybrid Extension of CTL and CTL + (Q3182944) (← links)
• The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
• Interpolation for extended modal languages (Q3370762) (← links)
• Henkin and Hybrid Logic (Q3454819) (← links)
• (Q3464006) (← links)
• Expressive Power and Decidability for Memory Logics (Q3511448) (← links)
• Complexity and Succinctness Issues for Linear-Time Hybrid Logics (Q3532457) (← links)
• A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER (Q3577744) (← links)
• THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES (Q3577747) (← links)