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.

[1]  Zoran Ognjanović,et al.  A first-order conditional probability logic with iterations , 2013 .

[2]  Zoran Ognjanovic,et al.  Conditional p-adic probability logic , 2014, Int. J. Approx. Reason..

[3]  Martín Abadi,et al.  Decidability and Expressiveness for First-Order Logics of Probability , 1994, Inf. Comput..

[4]  Wiebe van der Hoeck.  Some considerations on the logics PFD A logic combining modality and probability , 1997 .

[5]  Zoran Ognjanović,et al.  Complex valued probability logics , 2014 .

[6]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[7]  Miodrag Raskovic,et al.  Hierarchies of probabilistic logics , 2014, Int. J. Approx. Reason..

[8]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[9]  Joseph Y. Halpern,et al.  Reasoning about knowledge: a survey , 1995 .

[10]  Joseph Y. Halpern,et al.  Reasoning about common knowledge with infinitely many agents , 2004, Inf. Comput..

[11]  Miodrag Raskovic,et al.  A propositional probabilistic logic with discrete linear time for reasoning about evidence , 2012, Annals of Mathematics and Artificial Intelligence.

[12]  Miodrag Raskovic,et al.  A Probabilistic Logic with Polynomial Weight Formulas , 2008, FoIKS.

[13]  Miodrag Raskovic,et al.  Some Probability Logics with New Types of Probability Operators , 1999, J. Log. Comput..

[14]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[15]  Miodrag Raskovic,et al.  Some first-order probability logics , 2000, Theor. Comput. Sci..

[16]  Joseph Y. Halpern,et al.  Knowledge, probability, and adversaries , 1989, PODC '89.

[17]  Zoran Ognjanovic,et al.  An Axiomatization of a First-order Branching Time Temporal Logic , 2010, J. Univers. Comput. Sci..

[18]  Zoran Ognjanovic,et al.  A first-order conditional probability logic , 2012, Log. J. IGPL.

[19]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[20]  Miodrag Raskovic,et al.  A Probabilistic Temporal Logic That Can Model Reasoning about Evidence , 2010, FoIKS.

[21]  Zoran Ognjanovic,et al.  A First-Order Dynamic Probability Logic , 2013, ECSQARU.