Towards Syntactic Epistemic Logic

DOI10.3233/FI-222118OpenAlexW4293572215MaRDI QIDQ5038565

Sergej N. Artemov

Publication date: 7 October 2022

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.13145

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items

The complexity of identifying characteristic formulae

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Agreeing to disagree
• Interactive epistemology. I: Knowledge
• Backward induction and common knowledge of rationality
• The Language of Game Theory
• 2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017
• On Definitive Solutions of Strategic Games