The following pages link to (Q4281254):
Displayed 9 items.
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- On Gabbay's temporal fixed point operator (Q673958) (← links)
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- An axiomatization for until and since over the reals without the IRR rule (Q1207338) (← links)
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- Synthesis for continuous time (Q2355696) (← links)
- (Q4637684) (← links)
- (Q5091278) (← links)