Pages that link to "Item:Q2957954"

The following pages link to A complete axiomatization of a temporal logic with obligation and robustness (Q2957954):

Displaying 2 items.

• Sublogics of a branching time logic of robustness (Q1740655) (← links)
• Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)