The following pages link to Temporal logics need their clocks (Q1186428):
Displaying 4 items.
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- On the strength of temporal proofs (Q809066) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
