Pages that link to "Item:Q4487266"
From MaRDI portal
The following pages link to Representation, reasoning, and relational structures: a hybrid logic manifesto (Q4487266):
Displaying 50 items.
- A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later (Q395587) (← links)
- Completeness results for memory logics (Q408552) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Arthur Prior and hybrid logic (Q857663) (← links)
- The logic of location (Q857667) (← links)
- A hybrid logic for reasoning about knowledge and topology (Q1006488) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- On the expressive power of hybrid branching-time logics (Q1989342) (← links)
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← 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)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Guarded fragments with constants (Q2567342) (← links)
- A Tableau System for Quasi-Hybrid Logic (Q2817942) (← links)
- Undecidability of multi-modal hybrid logics (Q2867946) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- Hybridizing a logical framework (Q2867954) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Compositional System Security with Interface-Confined Adversaries (Q3178245) (← links)
- Graph-Based Generation of Referring Expressions (Q3225398) (← links)
- Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection (Q3225401) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- A Two-Dimensional Hybrid Logic of Subset Spaces (Q3601810) (← links)
- Completeness Results for Memory Logics (Q3605517) (← links)
- Intensional First-Order Logic for P2P Database Systems (Q3638228) (← links)
- A first step towardsmodeling semistructured data in hybrid multimodal logic (Q3647216) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- A Completeness Result for Relation Algebra with Binders (Q4916210) (← links)
- Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)
- (Q5079784) (← links)
- Product of Graphs and Hybrid Logic (Q5170294) (← links)
- Abductive Reasoning for Continual Dialogue Understanding (Q5200463) (← links)
- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic (Q5224503) (← links)
