Sergei Artemov - Towards Syntactic Epistemic Logic

fi:9620 - Fundamenta Informaticae, January 10, 2023, Volume 186, Issues 1-4: Trakhtenbrot's centenary
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 180 times.
    This article's PDF has been downloaded 185 times.