Pages that link to "Item:Q2753192"
From MaRDI portal
The following pages link to Temporal logic. Vol. 2. Mathematical foundations and computational aspects (Q2753192):
Displaying 13 items.
- Time and determinism (Q266653) (← links)
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Automata and logics over finitely varying functions (Q636272) (← links)
- Automata for branching and layered temporal structures. An investigation into regularities of infinite transition systems (Q846294) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- A theory of hypermodal logics: Mode shifting in modal logic (Q1610618) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Temporal logics in computer science. Finite-state systems (Q2805273) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models (Q3172878) (← links)
- Principles Of Talmudic Logic (Q3305655) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
- (Q4692453) (← links)