The following pages link to (Q5020577):
Displaying 9 items.
- An epistemic logic for multi-agent systems with budget and costs (Q2055785) (← links)
- Polymodal logic of the class of inductive linear time frames (Q2630564) (← links)
- (Q3832541) (← links)
- (Q4694252) (← links)
- (Q4733399) (← links)
- (Q5087787) (← links)
- Substructure Temporal Logic (Q5271074) (← links)
- Logic Programming (Q5475789) (← links)
- A temporal logic for sortals (Q5959761) (← links)