The following pages link to Temporalising tableaux (Q1826368):
Displayed 7 items.
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
- Deductive verification of simple foraging robotic behaviours (Q3653523) (← links)