Dynamic epistemic logic with justification
暂无分享,去创建一个
[1] Ronald Fagin,et al. Reasoning about knowledge and probability , 1988, JACM.
[2] Lawrence S. Moss,et al. Logics for Epistemic Programs , 2004, Synthese.
[3] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..
[4] Bryan Renne,et al. Public and private communication are different: results on relative expressivity , 2008, Synthese.
[5] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[6] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .
[7] Ji Ruan,et al. Exploring the Update Universe , 2004 .
[8] Thomas Studer,et al. Total Public Announcements , 2007, LFCS.
[9] Rineke Verbrugge,et al. Model Checking Sum and Product , 2005, Australian Conference on Artificial Intelligence.
[10] A. Karimi,et al. Master‟s thesis , 2011 .
[11] Sergei N. Artëmov,et al. Logical Omniscience Via Proof Complexity , 2006, CSL.
[12] Alexandru Baltag,et al. From conditional probability to the logic of doxastic actions , 2007, TARK '07.
[13] E. Pacuit. A Note on Some Explicit Modal Logics , 2005 .
[14] J. Gerbrandy. The surprise examination , 2004 .
[15] Johan van Benthem,et al. Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..
[16] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[17] Sergei N. Artëmov,et al. Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..
[18] David Steiner,et al. A system for consistency preserving belief change , 2006 .
[19] Jan A. Plaza,et al. Logics of public communications , 2007, Synthese.
[20] Carsten Lutz,et al. Complexity and succinctness of public announcement logic , 2006, AAMAS '06.
[21] Johan van Benthem,et al. "ONE IS A LONELY NUMBER": LOGIC AND COMMUNICATION , 2006 .
[22] Hans van Ditmarsch,et al. The Secret of My Success , 2006, Synthese.
[23] Bernhard Beckert,et al. Dynamic Logic , 2007, The KeY Approach.
[24] Johan van Benthem,et al. Merging frameworks for interaction: DEL and ETL , 2007, TARK '07.
[25] Andreas Herzig,et al. What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability , 2007, TARK '07.
[26] B. Renne,et al. TR-2007012: The Relative Expressivity of Public and Private Communication in BMS Logic , 2007 .
[27] Melvin Fitting,et al. Reasoning with Justifications , 2009, Towards Mathematical Philosophy.
[28] 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.
[29] Wiebe van der Hoek,et al. Model Checking Russian Cards , 2006, Electron. Notes Theor. Comput. Sci..
[30] Sergei N. Artëmov. Evidence-Based Common Knowledge , 2005 .
[31] Evangelia Antonakos. Justified and Common Knowledge: Limited Conservativity , 2007, LFCS.
[32] Lawrence S. Moss,et al. The Undecidability of Iterated Modal Relativization , 2005, Stud Logica.
[33] N. Malcolm. On Knowledge and Belief , 1954 .
[34] Tatiana Yavorskaya. Multi-agent Explicit Knowledge , 2006, CSR.
[35] Wiebe van der Hoek,et al. Public Announcements and Belief Expansion , 2004, Advances in Modal Logic.
[36] Ramaswamy Ramanujam,et al. A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..
[37] Hans van Ditmarsch,et al. The Russian Cards Problem , 2003, Stud Logica.
[38] Alexandru Baltag,et al. A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games , 2000 .
[39] Rohit Parikh,et al. Communication, consensus, and knowledge , 1990 .
[40] Edmund L. Gettier. Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.
[41] Anne S. Troelstra. Changing Modalities , 2000 .
[42] J. Geanakoplos,et al. We Can't Disagree Forever , 1982 .
[43] Barteld P. Kooi,et al. Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.
[44] Hans van Ditmarsch,et al. Prolegomena to Dynamic Logic for Belief Revision , 2005, Synthese.
[45] Guillaume Aucher. How Our Beliefs Contribute to Interpret Actions , 2005, CEEMAS.
[46] Ramaswamy Ramanujam,et al. Distributed Processes and the Logic of Knowledge , 1985, Logic of Programs.
[47] Johan van Benthem,et al. Dynamic Update with Probabilities , 2009, Stud Logica.
[48] Michael Dummett,et al. Fitch's Paradox of Knowability , 2009 .
[49] Johan van Benthem,et al. Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.
[50] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[51] Johan van Benthem,et al. The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.
[52] Barteld P. Kooi,et al. Probabilistic Dynamic Epistemic Logic , 2003, J. Log. Lang. Inf..
[53] Melvin Fitting. Explicit Logics of Knowledge and Conservativity , 2008, ISAIM.
[54] Sergei N. Artëmov. Justified common knowledge , 2006, Theor. Comput. Sci..
[55] Sergei N. Artëmov. Justification Logic , 2008, JELIA.
[56] Sergei N. Artëmov,et al. On epistemic logic with justification , 2005, TARK.
[57] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[58] Jelle Gerbrandy,et al. Dynamic epistemic logic , 1998 .
[59] L. Gerson. Platonic Knowledge and the Standard Analysis , 2006 .
[60] J. Benthem,et al. Logics of communication and change , 2006 .
[61] Joseph Y. Halpern,et al. Knowledge, probability, and adversaries , 1989, PODC '89.
[62] B. D. ten Cate,et al. Internalizing epistemic actions , 2002 .
[63] Barteld Kooi. Knowledge, chance, and change , 2003 .
[64] Mark Kaplan,et al. It's Not What You Know that Counts , 1985 .
[65] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.
[66] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..
[67] Andreas Herzig,et al. From DEL to EDL : Exploring the Power of Converse Events , 2007, ECSQARU.
[68] Jelle Gerbrandy,et al. The Surprise Examination in Dynamic Epistemic Logic , 2007, Synthese.
[69] Johan van Benthem,et al. What one may come to know , 2004 .
[70] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .
[71] Alexandru Baltag,et al. Probabilistic dynamic belief revision , 2008, Synthese.
[72] Joshua Sack,et al. Logic for update products and steps into the past , 2010, Ann. Pure Appl. Log..
[73] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[74] Melvin Fitting,et al. Justification logics, logics of knowledge, and conservativity , 2008, Annals of Mathematics and Artificial Intelligence.
[75] Joshua Sack,et al. Temporal Languages for Epistemic Programs , 2008, J. Log. Lang. Inf..