Epistemic dynamics and protocol information
暂无分享,去创建一个
[1] Ho Ngoc Duc,et al. Reasoning About Rational, But Not Logically Omniscient, Agents , 1997, J. Log. Comput..
[2] David Lewis. Convention: A Philosophical Study , 1986 .
[3] Wiebe van der Hoek,et al. Modal logic for games and information , 2007, Handbook of Modal Logic.
[4] K. Sim. Epistemic logic and logical omniscience: A survey , 1997 .
[5] J. Benthem. Games in dynamic epistemic logic , 2001 .
[6] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..
[7] Ngoc Duc Ho. Resource-Bounded Reasoning about Knowledge , 2004 .
[8] J. Benthem,et al. Logics of communication and change , 2006 .
[9] Timothy Williamson. Tennant on Knowable Truth , 2000 .
[10] Joseph Y. Halpern,et al. The complexity of reasoning about knowledge and time , 1986, STOC '86.
[11] Giacomo Bonanno,et al. Memory and perfect recall in extensive games , 2004, Games Econ. Behav..
[12] Peter Øhrstrøm,et al. Temporal Logic , 1994, Lecture Notes in Computer Science.
[13] Jan M. Broersen,et al. A Complete STIT Logic for Knowledge and Action, and Some of Its Applications , 2008, DALT.
[14] Rohit Parikh,et al. Reasoning about Communication Graphs , 2007 .
[15] Johan van Benthem,et al. Merging Observation and Access in Dynamic Logic , 2008 .
[16] J. Benthem,et al. Diversity of Logical Agents in Games , 2004 .
[17] Sergei N. Artëmov. Logic of Proofs , 1994, Ann. Pure Appl. Log..
[18] Ho Ngoc Duc. Resource bounded reasoning about knowledge , 2001 .
[19] Nuel D. Belnap,et al. Seeing To it That: A Canonical Form for Agentives , 2008 .
[20] Audrey Yap. Dynamic Epistemic Logic and Temporal Modality , 2011 .
[21] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[22] Ramaswamy Ramanujam,et al. A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..
[23] Neil Tennant. Is Every Truth Knowable? Reply to Williamson , 2001 .
[24] Frederic Brenton Fitch,et al. A logical analysis of some value concepts , 1963, Journal of Symbolic Logic.
[25] Michael Dummett,et al. Victor's error , 2001 .
[26] D. Edgington. The Paradox of Knowability , 1985 .
[27] Krista Lawlor,et al. Living Without Closure , 2005 .
[28] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[29] Alasdair Urquhart,et al. Temporal Logic , 1971 .
[30] Michael Hand,et al. Knowability and Epistemic Truth , 2003 .
[31] K Williams,et al. Tell it like it is. , 1996, Nursing standard (Royal College of Nursing (Great Britain) : 1987).
[32] Johan van Benthem,et al. Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.
[33] Sergei N. Artëmov,et al. TR-2005004: Basic Systems of Epistemic Logic with Justification , 2005 .
[34] Andreas Herzig,et al. ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.
[35] Fernando R. Velázquez-Quesada,et al. Inference and update , 2009, Synthese.
[36] Carsten Lutz,et al. Proceedings of the 11th European conference on Logics in Artificial Intelligence , 2008 .
[37] Giacomo Bonanno,et al. Belief revision in a temporal framework , 2006 .
[38] A. Baltag,et al. Dynamic Belief Revision over Multi-Agent Plausibility Models , 2006 .
[39] W. D. Hart,et al. Knowledge and necessity , 1976, J. Philos. Log..
[40] Timothy Williamson. On knowledge of the unknowable , 1987 .
[41] Jelle Gerbrandy,et al. Reasoning about Information Change , 1997, J. Log. Lang. Inf..
[42] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[43] Philip Percival. Fitch and intuitionistic knowability , 1990 .
[44] Brian F. Chellas. Time and modality in the logic of agency , 1992, Stud Logica.
[45] R. Aumann. Agreeing to disagree. , 1976, Nature cell biology.
[46] Jonathan L. Kvanvig,et al. The Knowability Paradox and the Prospects for Anti-Realism , 1995 .
[47] Johan van Benthem,et al. The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.
[48] Hans van Ditmarsch,et al. The Russian Cards Problem , 2003, Stud Logica.
[49] N. Tennant. The Taming of the True , 1997 .
[50] Neil Tennant. Is Every Truth Knowable? Reply to Hand and Kvanvig , 2001 .
[51] Vincent F. Hendricks,et al. Mainstream and formal epistemology , 2005 .
[52] Rineke Verbrugge,et al. Sum and Product in Dynamic Epistemic Logic , 2008, J. Log. Comput..
[53] J. Plaza. Logics of Public Announcements , 1989 .
[54] Berit Brogaard,et al. Fitch's Paradox of Knowability , 2002 .
[55] P. T. Geach,et al. KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .
[56] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[57] Mark Jago,et al. Logics for resource-bounded agents , 2006 .
[58] J. Benthem. One is a Lonely Number: on the logic of communication , 2003 .
[59] W. Hoek,et al. Dynamic Epistemic Logic , 2007 .
[60] Timothy Williamson,et al. Knowledge and Its Limits , 2000 .
[61] Tim French,et al. Undecidability for arbitrary public announcement logic , 2008, Advances in Modal Logic.
[62] Johan van Benthem,et al. Merging Frameworks for Interaction , 2009, J. Philos. Log..
[63] Steven D. Hales. Epistemic Closure Principles , 1995 .
[64] Bernhard Beckert,et al. Dynamic Logic , 2007, The KeY Approach.
[65] Sergei N. Artëmov,et al. On epistemic logic with justification , 2005, TARK.
[66] Robert Stalnaker,et al. The problem of logical omniscience, I , 1991, Synthese.
[67] Tomohiro Hoshi. Public Announcement Logics with Constrained Protocols , 2008 .
[68] Mark Jago,et al. Epistemic Logic for Rule-Based Agents , 2009, J. Log. Lang. Inf..
[69] Timothy Williamson,et al. Knowability and Constructivism , 1988 .
[70] Johan van Benthem,et al. What one may come to know , 2004 .
[71] On intuitionistic modal epistemic logic , 1992 .
[72] Lawrence S. Moss,et al. The Undecidability of Iterated Modal Relativization , 2005, Stud Logica.
[73] Jonathan L. Kvanvig,et al. Tennant on knowability , 1999 .
[74] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .
[75] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[76] Neil Tennant,et al. Victor vanquished , 2002 .