Probabilistic Common Knowledge Among Infinite Number of Agents

We introduce an epistemic logic with probabilistic common knowledge and infinitely many agents, and provide its strong completeness for the class of measurable structures.

Saved in:
Bibliographic Details
Published inSymbolic and Quantitative Approaches to Reasoning with Uncertainty pp. 496 - 505
Main Authors Tomović, Siniša, Ognjanović, Zoran, Doder, Dragan
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2015
SeriesLecture Notes in Computer Science
Subjects
Infinite number of agents
Probabilistic common knowledge
Probabilistic epistemic logic
Strong completeness
Online AccessGet full text

Cover

More Information
Summary:We introduce an epistemic logic with probabilistic common knowledge and infinitely many agents, and provide its strong completeness for the class of measurable structures.
ISBN:9783319208060
3319208063
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-20807-7_45