The following pages link to (Q2753192):
Displaying 10 items.
- Time and determinism (Q266653) (← links)
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Automata and logics over finitely varying functions (Q636272) (← 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)
- 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)
