Epistemic JAADL: A Modal Logic for Joint Abilities with Imperfect Information.
Zhaoshuai LiuAiting LiangYongmei LiuPublished in: ECAI (2023)
Keyphrases
- modal logic
- imperfect information
- epistemic logic
- modal operators
- temporal logic
- game theoretic
- inference rules
- kripke models
- game playing
- nonmonotonic logics
- game theory
- computation tree logic
- game tree search
- default logic
- perfect information
- imperfect information games
- situation calculus
- game tree
- finite automata
- dynamic logic
- model checking
- card game
- relational databases
- alternating time temporal logic