Pages that link to "Item:Q1024134"
From MaRDI portal
The following pages link to Modelling simultaneous games in dynamic logic (Q1024134):
Displaying 12 items.
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Studying strategies and types of players: experiments, logics and cognitive models (Q2218704) (← links)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654) (← links)
- Strategies in Games: A Logic-Automata Study (Q3166989) (← links)
- A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus (Q3185762) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models (Q3457696) (← links)
- Trace Semantics for IPDL (Q3457701) (← links)
- Reasoning about Strategies (Q4922091) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Taming Multirelations (Q5278188) (← links)
