COMING SOON! PQDT Open is getting a new home!

ProQuest Open Access Dissertations & Theses will remain freely available as part of a new and enhanced search experience at

Questions? Please refer to this FAQ.

Dissertation/Thesis Abstract

Forms of Generic Common Knowledge
by Antonakos, Evangelia, Ph.D., City University of New York, 2013, 102; 3557113
Abstract (Summary)

In multi-agent epistemic logics, common knowledge has been a central consideration of study. A generic common knowledge (G.C.K.) system is one that yields iterated knowledge I(ϕ): 'any agent knows that any agent knows that any agent knows. . . ϕ' for any number of iterations. Generic common knowledge yields iterated knowledge G.C.K.(ϕ) → I(ϕ) but is not necessarily logically equivalent to it. This contrasts with the most prevalent formulation of common knowledge C as equivalent to iterated knowledge. A spectrum of systems may satisfy the G.C.K. condition, of which C is just one. It has been shown that in the usual epistemic scenarios, G.C.K. can replace conventional common knowledge and Artemov has noted that such standard sources of common knowledge as public announcements of atomic sentences generally yield G.C.K. rather than C.

In this dissertation we study mathematical properties of generic common knowledge and compare them to the traditional common knowledge notion. In particular, we contrast the modal G.C.K. logics of McCarthy (e.g. M4) and Artemov (e.g. [special characters omitted]) with C-systems (e.g. [special characters omitted]) and present a joint C/G.C.K. implicit knowledge logic [special characters omitted] as a conservative extension of both. We show that in standard epistemic scenarios in which common knowledge of certain premises is assumed, whose conclusion does not concern common knowledge (such as Muddy Children, Wise Men, Unfaithful Wives, etc.), a lighter G.C.K.can be used instead of the traditional, more complicated, common knowledge. We then present the first fully explicit G.C.K. system LP n(LP). This justification logic realizes the corresponding modal system [special characters omitted] so that G.C.K., along with individual knowledge modalities, can always be made explicit.

Indexing (document details)
Advisor: Keen, Linda
Commitee: Fitting, Melvin, Kossak, Roman
School: City University of New York
Department: Mathematics
School Location: United States -- New York
Source: DAI-B 74/07(E), Dissertation Abstracts International
Subjects: Logic, Mathematics
Keywords: Common knowledge, Epistemic logic, Generic common knowledge, Justification logic, Modal logic
Publication Number: 3557113
ISBN: 978-1-267-99870-5
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy