Pages that link to "Item:Q1207338"
From MaRDI portal
The following pages link to An axiomatization for until and since over the reals without the IRR rule (Q1207338):
Displayed 13 items.
- Metric temporal logic revisited (Q266865) (← links)
- The complexity of temporal logic over the reals (Q636345) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- Axiomatisation and decidability of \(F\) and \(P\) in cyclical time (Q1319266) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- Synthesis for continuous time (Q2355696) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Metric temporal reasoning with less than two clocks (Q2901203) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)