Probabilistic Dynamic Epistemic Logic
暂无分享,去创建一个
[1] Klaus Krickeberg,et al. Probability Theory: Basic Concepts · Limit Theorems Random Processes , 1969 .
[2] Samuel B. Williams,et al. ASSOCIATION FOR COMPUTING MACHINERY , 2000 .
[3] R. Jeffrey. The Logic of Decision , 1984 .
[4] A. N. Kolmogorov,et al. Foundations of the theory of probability , 1960 .
[5] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.
[6] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .
[7] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[8] Erik P. de Vink,et al. Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach , 1999, Theor. Comput. Sci..
[9] J. Benthem. One is a Lonely Number: on the logic of communication , 2003 .
[10] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[11] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[12] Joseph Y. Halpern,et al. Knowledge, probability, and adversaries , 1993, JACM.
[13] Erik P. de Vink,et al. Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach , 1997, Theor. Comput. Sci..
[14] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[15] J. Altham. Naming and necessity. , 1981 .
[16] Ronald Fagin,et al. Reasoning about knowledge and probability , 1988, JACM.
[17] J. Riley,et al. The analytics of uncertainty and information: Long-run relationships and the credibility of threats and promises , 1992 .
[18] Fahiem Bacchus,et al. Representing and reasoning with probabilistic knowledge - a logical approach to probabilities , 1991 .
[19] Lars Erik Holmquist,et al. Fun and Games , 2005, Heading Home With Your Newborn.
[20] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .
[21] Polly S Nichols,et al. Agreeing to disagree. , 2005, General dentistry.
[22] Huaiyu Zhu. On Information and Sufficiency , 1997 .
[23] David Rudd,et al. A Problem in Probability. , 1974 .
[24] C. S. Jackson. A Problem in Probability , 1913 .
[25] Frank Veltman,et al. Defaults in update semantics , 1996, J. Philos. Log..
[26] B. D. ten Cate,et al. Internalizing epistemic actions , 2002 .
[27] Dov M. Gabbay,et al. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .
[28] Jr. Henry E. Kyburg. Uncertainty logics , 1994 .
[29] Robert van Rooy,et al. Quality and Quantity of Information Exchange , 2003, J. Log. Lang. Inf..
[30] Samir Okasha,et al. Philosophical Theories of Probability , 2002 .
[31] Casper Johannes Albers,et al. Distributional inference : the limits of reason , 2003 .
[32] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[33] Richard Spencer-Smith,et al. Modal Logic , 2007 .
[34] Joseph Y. Halpern. The relationship between knowledge, belief, and certainty , 1991, Annals of Mathematics and Artificial Intelligence.
[35] Jelle Gerbrandy,et al. Reasoning about Information Change , 1997, J. Log. Lang. Inf..