Pages that link to "Item:Q1207338"

The following pages link to An axiomatization for until and since over the reals without the IRR rule (Q1207338):

Displaying 11 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)