The following pages link to (Q3455601):
Displaying 8 items.
- GDL (Q39331) (← links)
- On axiomatization of epistemic GDL (Q1679805) (← links)
- Logical-epistemic foundations of general game descriptions (Q2016080) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Game description language and dynamic epistemic logic compared (Q2238672) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- Verification of Games in the Game Description Language (Q3656768) (← links)
- Representing and Reasoning About the Rules of General Games With Imperfect Information (Q5404391) (← links)