Hybrid languages
From MaRDI portal
Publication:1909610
DOI10.1007/BF01049415zbMATH Open0847.03009OpenAlexW4256000740MaRDI QIDQ1909610FDOQ1909610
Jerry Seligman, Patrick Blackburn
Publication date: 17 March 1996
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01049415
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards a general theory of action and time
- Using the Universal Modality: Gains and Questions
- The modal logic of inequality
- Nominal tense logic
- Determiners and logic
- An essay in combinatory dynamic logic
- Modal logic with names
- An approach to tense logic1
- PDL with data constants
Cited In (48)
- Temporal languages for epistemic programs
- Model checking hybrid logics (with an application to semistructured data)
- A first step towardsmodeling semistructured data in hybrid multimodal logic
- Arthur Prior and hybrid logic
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
- Undecidability of multi-modal hybrid logics
- A simple logic of concepts
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
- Post-plus languages
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- Hybrid logics and ontology languages
- On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
- Towards World Identification in Description Logics
- Local fact change logic
- The modal logics of the poison game
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Expressive power of ``now and ``then operators
- Repairing the interpolation theorem in quantified modal logic
- On the subtle nature of a simple logic of the hide and seek game
- Encoding hybridized institutions into first-order logic
- A modal logic for supervised learning
- The Fitch-Church paradox and first order modal logic
- Title not available (Why is that?)
- Hybrid terms and sentences
- Second-order propositional modal logic and monadic alternation hierarchies
- A hybridization of irreflexive modal logics
- Complexity of hybrid logics over transitive frames
- Intuitionistic hybrid logic: introduction and survey
- Understanding the Brandenburger-Keisler paradox
- The complexity of hybrid logics over equivalence relations
- The Range of Modal Logic
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
- The logic of imagination acts: a formal system for the dynamics of imaginary worlds
- Action language Hybrid AL
- A simple logic of the hide and seek game
- Pure extensions, proof rules, and hybrid axiomatics
- Expressive Power and Decidability for Memory Logics
- Introducing \(H\), an institution-based formal specification and verification language
- Henkin and Hybrid Logic
- Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications
- A prover dealing with nominals, binders, transitivity and relation hierarchies
- Temporal Logics with Reference Pointers and Computation Tree Logics
- Testing XML constraint satisfiability
- Logics for actor networks: a two-stage constrained-hybridisation approach
- Arthur Prior and `now'
- Hybrid logics: Characterization, interpolation and complexity
- THE EXPRESSIVE POWER OF MEMORY LOGICS
This page was built for publication: Hybrid languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1909610)
