Representation, reasoning, and relational structures: a hybrid logic manifesto
From MaRDI portal
Publication:4487266
DOI10.1093/jigpal/8.3.339zbMath0956.03025OpenAlexW2052882335MaRDI QIDQ4487266
Publication date: 7 March 2001
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/8.3.339
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items
Foundations of logic programming in hybrid logics with user-defined sharing ⋮ An exercise on the generation of many-valued dynamic logics ⋮ Compositional System Security with Interface-Confined Adversaries ⋮ Arthur Prior and hybrid logic ⋮ The logic of location ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Birkhoff style calculi for hybrid logics ⋮ A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later ⋮ Graph-Based Generation of Referring Expressions ⋮ Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection ⋮ Global view on reactivity: switch graphs and their logics ⋮ Completeness results for memory logics ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ The complexity of satisfiability for fragments of hybrid logic. I. ⋮ Complexity of hybrid logics over transitive frames ⋮ Resolution with order and selection for hybrid logics ⋮ A study on multi-dimensional products of graphs and hybrid logics ⋮ Completeness in hybrid type theory ⋮ Algebraic Semantics for Hybrid Logics ⋮ On the expressive power of hybrid branching-time logics ⋮ A Completeness Result for Relation Algebra with Binders ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Product of Graphs and Hybrid Logic ⋮ Encoding hybridized institutions into first-order logic ⋮ Unnamed Item ⋮ A Two-Dimensional Hybrid Logic of Subset Spaces ⋮ LTL over integer periodicity constraints ⋮ Completeness Results for Memory Logics ⋮ Abductive Reasoning for Continual Dialogue Understanding ⋮ A hybrid logic for reasoning about knowledge and topology ⋮ Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic ⋮ A Tableau System for Quasi-Hybrid Logic ⋮ Logical vs. behavioural specifications ⋮ Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic ⋮ Intensional First-Order Logic for P2P Database Systems ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach ⋮ Experiments in Theorem Proving for Topological Hybrid Logic ⋮ A first step towardsmodeling semistructured data in hybrid multimodal logic ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ Guarded fragments with constants ⋮ Computational complexity of hybrid interval temporal logics ⋮ Hierarchical hybrid logic ⋮ Hybrid fragments of Halpern-Shoham logic and their expressive power ⋮ Formalizing a Seligman-style tableau system for hybrid logic (short paper) ⋮ Undecidability of Multi-modal Hybrid Logics ⋮ Testing XML constraint satisfiability ⋮ Hybridizing a Logical Framework ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols ⋮ Proof analysis in modal logic ⋮ Remarks on Gregory's ``actually operator
