Hybrid languages and temporal logic

DOI10.1093/jigpal/7.1.27zbMath0920.03029OpenAlexW2047294512MaRDI QIDQ4238499

Miroslava Tzakova, Patrick Blackburn

Publication date: 30 March 1999

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1062&context=ircs_reports

zbMATH Keywords

temporal logichybridizationextension of expressive powersorted atomic symbols

Mathematics Subject Classification ID

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

Related Items (25)

Back from the future ⋮ Henkin and Hybrid Logic ⋮ Games for hybrid logic. From semantic games to analytic calculi ⋮ Axioms for classical, intuitionistic, and paraconsistent hybrid logic ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ Notes on logics of metric spaces ⋮ Exorcising the phantom zone ⋮ Global view on reactivity: switch graphs and their logics ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Complexity of hybrid logics over transitive frames ⋮ A study on multi-dimensional products of graphs and hybrid logics ⋮ Completeness in hybrid type theory ⋮ Algebraic Semantics for Hybrid Logics ⋮ Partial and paraconsistent approaches to future contingents in tense logic ⋮ Reichenbach, Prior and hybrid tense logic ⋮ A Hybrid Public Announcement Logic with Distributed Knowledge ⋮ Hybrid logics: characterization, interpolation and complexity ⋮ Encoding hybridized institutions into first-order logic ⋮ A logic for the stepwise development of reactive systems ⋮ Many-sorted hybrid modal languages ⋮ Model Checking Strategic Equilibria ⋮ A proof-theoretic study of the correspondence of hybrid logic and classical logic ⋮ Temporal Logics with Reference Pointers and Computation Tree Logics ⋮ A first step towardsmodeling semistructured data in hybrid multimodal logic ⋮ Computational complexity of hybrid interval temporal logics

This page was built for publication: Hybrid languages and temporal logic