Pages that link to "Item:Q2915023"
From MaRDI portal
The following pages link to Moving Arrows and Four Model Checking Results (Q2915023):
Displaying 15 items.
- Introspection as an action in relational models (Q2011198) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
- A modal logic for supervised learning (Q2155207) (← links)
- Arrow update synthesis (Q2216107) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681) (← links)
- Relation-changing modal operators: Fig. 1. (Q4644524) (← links)
- (Q5015266) (← links)
- (Q5016796) (← links)
- Swap logic (Q5176675) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- To be announced (Q6040661) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)