Computer science Game theory Modal logic Combinatorial game theory Epistemic modal logic Semantics (computer science) Algorithmic game theory Artificial intelligence Mathematical economics Theoretical computer science Sequential game Modal Multimodal logic Mathematics Programming language Description logic