Sergei Artemov - Towards Syntactic Epistemic Logic

fi:9620 - Fundamenta Informaticae, January 10, 2023, Volume 186, Issues 1-4: Trakhtenbrot's centenary - https://doi.org/10.46298/fi.9620
Towards Syntactic Epistemic LogicArticle

Authors: Sergei Artemov

Traditionally, Epistemic Logic represents epistemic scenarios using a single model. This, however, covers only complete descriptions that specify truth values of all assertions. Indeed, many -- and perhaps most -- epistemic descriptions are not complete. Syntactic Epistemic Logic, SEL, suggests viewing an epistemic situation as a set of syntactic conditions rather than as a model.
This allows us to naturally capture incomplete descriptions; we discuss a case study in which our proposal is successful. In Epistemic Game Theory, this closes the conceptual and technical gap, identified by R. Aumann, between the syntactic character of game-descriptions and semantic representations of games.


Volume: Volume 186, Issues 1-4: Trakhtenbrot's centenary
Published on: January 10, 2023
Accepted on: June 21, 2022
Submitted on: May 27, 2022
Keywords: Computer Science - Logic in Computer Science, F.4.1

Consultation statistics

This page has been seen 501 times.
This article's PDF has been downloaded 733 times.