Hierarchies of modal and temporal logics with reference pointers
From MaRDI portal
Publication:1919987
DOI10.1007/BF00215625zbMath0851.03003OpenAlexW2170352409MaRDI QIDQ1919987
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
modal logiccompletenesstemporal logicexpressivenessaxiomatizationhierarchies of extensionsreference pointerssemantic references
Related Items
The Fitch-Church paradox and first order modal logic, The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I, Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge, 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, Logics for actor networks: a two-stage constrained-hybridisation approach, Formulas expressing totally nonstable truth values of formulas, A simple logic of concepts, The complexity of satisfiability for fragments of hybrid logic. I., Complexity of hybrid logics over transitive frames, Repairing the interpolation theorem in quantified modal logic, Complexity and Succinctness Issues for Linear-Time Hybrid Logics, Completeness in hybrid type theory, Temporal reference in linear tense logic, Model checking memoryful linear-time logics over one-counter automata, LTL over integer periodicity constraints, Model checking hybrid logics (with an application to semistructured data), Temporal Logics with Reference Pointers and Computation Tree Logics, On Freeze LTL with Ordered Attributes, Temporal logic with accessibility temporal relations generated by time states themselves, Complexity and succinctness issues for linear-time hybrid logics, Model checking for hybrid logic, The complexity of hybrid logics over equivalence relations, Testing XML constraint satisfiability
