Hierarchies of modal and temporal logics with reference pointers

DOI10.1007/BF00215625MaRDI QIDQ1919987zbMATH OpenOpenAlexFDO

Authors Valentin Goranko

Publication date 4 November 1996

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00215625

zbMATH Keywords

completenessmodal logicaxiomatizationexpressivenesstemporal logichierarchies of extensionsreference pointerssemantic references

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1536552
• A hierarchy of modal logics with relative accessibility relations
• Temporal Logics with Reference Pointers and Computation Tree Logics
• The computational complexity of hybrid temporal logics
• Arity hierarchy for temporal logics

Cited in

(27)

• Temporal Logics with Reference Pointers and Computation Tree Logics
• The complexity of hybrid logics over equivalence relations
• Testing XML constraint satisfiability
• Complexity of hybrid logics over transitive frames
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
• On freeze LTL with ordered attributes
• Complexity and succinctness issues for linear-time hybrid logics
• Temporal logic with accessibility temporal relations generated by time states themselves
• Model checking for hybrid logic
• Repairing the interpolation theorem in quantified modal logic
• Formulas expressing totally nonstable truth values of formulas
• Complexity and Succinctness Issues for Linear-Time Hybrid Logics
• LTL over integer periodicity constraints
• Logics for actor networks: a two-stage constrained-hybridisation approach
• Model checking memoryful linear-time logics over one-counter automata
• Pure extensions, proof rules, and hybrid axiomatics
• On the freeze quantifier in Constraint LTL: Decidability and complexity
• From \textit{counterfactual} conditionals to \textit{temporal} conditionals
• Model checking hybrid logics (with an application to semistructured data)
• The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I
• The Fitch-Church paradox and first order modal logic
• The complexity of satisfiability for fragments of hybrid logic. I.
• Naming worlds in modal and temporal logic
• Completeness in hybrid type theory
• scientific article; zbMATH DE number 1536552 (Why is no real title available?)
• A simple logic of concepts
• Temporal reference in linear tense logic

This page was built for publication: Hierarchies of modal and temporal logics with reference pointers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1919987)