Logical-epistemic foundations of general game descriptions

DOI10.1007/s11225-014-9547-2zbMath1329.03051OpenAlexW2058311392MaRDI QIDQ2016080

Ji Ruan, Michael Thielscher

Publication date: 19 June 2014

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9547-2

zbMATH Keywords

epistemic logicgeneral game playinglogical formalizations of game properties

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Logics of knowledge and belief (including belief change) (03B42)

Uses Software

• GDL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The alternating fixpoint of logic programs with negation
• An essay in modal logic
• A computationally grounded logic of visibility, perception, and knowledge
• Verification of Games in the Game Description Language
• A basis for deductive database systems II
• Epistemic Conditions for Nash Equilibrium
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Logical-epistemic foundations of general game descriptions