Hybrid languages

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

zbMATH Keywords

semanticsmodal logicrelational structuresundecidableexpressive relationsfiniteness of a model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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 logic¹
• 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)