Pages that link to "Item:Q1919987"

The following pages link to Hierarchies of modal and temporal logics with reference pointers (Q1919987):

Displaying 25 items.

• The Fitch-Church paradox and first order modal logic (Q320315) (← links)
• Completeness in hybrid type theory (Q484101) (← links)
• The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
• Complexity of hybrid logics over transitive frames (Q631089) (← links)
• Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
• Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
• On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
• Temporal reference in linear tense logic (Q965860) (← links)
• Model checking memoryful linear-time logics over one-counter automata (Q974117) (← links)
• Complexity and succinctness issues for linear-time hybrid logics (Q1044839) (← links)
• Model checking for hybrid logic (Q1047796) (← links)
• The complexity of hybrid logics over equivalence relations (Q1047797) (← links)
• Repairing the interpolation theorem in quantified modal logic (Q1412840) (← links)
• Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
• LTL over integer periodicity constraints (Q2503321) (← links)
• Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
• On Freeze LTL with Ordered Attributes (Q2811345) (← links)
• Testing XML constraint satisfiability (Q2867947) (← links)
• The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
• Complexity and Succinctness Issues for Linear-Time Hybrid Logics (Q3532457) (← links)
• Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
• From \textit{counterfactual} conditionals to \textit{temporal} conditionals (Q6053839) (← links)
• Formulas expressing totally nonstable truth values of formulas (Q6115007) (← links)
• A simple logic of concepts (Q6156201) (← links)