Book contents
- Frontmatter
- Contents
- Preface
- Participants Photograph
- Generic absoluteness for Σ1 formulas and the continuum problem
- Axioms of generic absoluteness
- Generalised dynamic ordinals — universal measures for implicit computational complexity
- The Worm principle
- “One is a lonely number”: logic and communication
- Computable versions of the uniform boundedness theorem
- Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings
- PCF theory and Woodin cardinals
- Embedding finite lattices into the computably enumerable degrees — a status survey
- Dimension theory inside a homogeneous model
- Reals which compute little
- Bisimulation invariance and finite models
- Choice principles in constructive and classical set theories
- Ash's theorem for abstract structures
- Martin-Löf random and PA-complete sets
- Learning and computing in the limit
- References
“One is a lonely number”: logic and communication
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Contents
- Preface
- Participants Photograph
- Generic absoluteness for Σ1 formulas and the continuum problem
- Axioms of generic absoluteness
- Generalised dynamic ordinals — universal measures for implicit computational complexity
- The Worm principle
- “One is a lonely number”: logic and communication
- Computable versions of the uniform boundedness theorem
- Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings
- PCF theory and Woodin cardinals
- Embedding finite lattices into the computably enumerable degrees — a status survey
- Dimension theory inside a homogeneous model
- Reals which compute little
- Bisimulation invariance and finite models
- Choice principles in constructive and classical set theories
- Ash's theorem for abstract structures
- Martin-Löf random and PA-complete sets
- Learning and computing in the limit
- References
- Type
- Chapter
- Information
- Logic Colloquium '02 , pp. 96 - 129Publisher: Cambridge University PressPrint publication year: 2006
References
[1] , Logics for insecure communication Proceedings TARK VIII, Morgan Kaufmann, Los Altos, 2001, pp. 111–121.
[2] , , and , Updated version of “The Logic of Public Announcements, Common Knowledge and Private Suspicions, Proceedings TARK 1998”, 2003, Department of Cognitive Science, Indiana University, Bloomington and Department of Computing, Oxford University.
[3] and , Vicious Circles, CSLI Publications, Stanford, 1997.
[4] , , and , Modal Logic, Cambridge University Press, Cambridge, 2001.
[5] and , Finite Model Theory, Springer, Berlin, 1995.
[6] , Bisimulations on Planet Kripke, Technical Report DS-1999-01, Institute for Logic, Language and Computation, University of Amsterdam, 1999.
[7] and , The complexity of reasoning about knowledge and time Journal of Computer and Systems Science, vol. 38 (1989), no. 1, pp. 195–237.
[8] , Logic and Bisimulation, vol. XIV, Publications Zeno Institute of Philosophy, Zeno Institute of Philosophy, University of Utrecht, 1998.
[9] , , and , Dynamic Logic, MIT Press, Cambridge (Mass.), 2000.
[10] and , Multi-Dimensional Modal Logic, Kluwer Academic Publishers, Dordrecht, 1997.
[11] , Two Puzzles About Knowledge, 2002.
[12] , A Formal Theory of Knowledge and Action, research report, SRI International, Menlo Park, 1985.
[13] , , , and , Reasoning About Knowledge, MIT Press, Cambridge (Mass.), 1995.
[14] , , and , The logic of public announcements, common knowledge and private suspicions Proceedings TARK 1998, Morgan Kaufmann Publishers, Los Altos, 1998, pp. 43–56.
[15] , Social software Synthese, vol. 132 (2002), pp. 187–211.
[16] , Logic for Social Software, Dissertation DS-2001-10, Institute for Logic, Language and Computation, University of Amsterdam, 2001.
[17] , Logics of public communications Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems ( et al., editors), North-Holland, 1989, pp. 201–216.
[18] , Logical Perspectives on Distributed Knowledge and its Dynamics, Master of Logic Thesis, University of Amsterdam, 2005.
[19] , Dynamic Epistemic Update System, 2004, Graduate School of Business, Stanford University.
[20] , Bisimulation, modal logic, and model checking games Logic Journal of the IGPL. Interest Group in Pure and Applied Logics, vol. 7 (1999), no. 1, pp. 103–124, Special issue on Temporal Logic.
[21] , Rational Dynamics, invited lecture, LogamaS workshop, department of computer science, University of Liverpool. In , ed., Logic, Game Theory and Social Choice III, University of Siena, department of political economy, 19-23. To appear in International Journal of Game Theory.
[22] , Exploring Logical Dynamics, CSLI Publications, Stanford, 1996.
[23] , Dynamic Bits and Pieces, Report LP-97-01, Institute for Logic, Language and Computation, University of Amsterdam, 1997.
[24] , Annual Report Spinoza Award Project “Logic in Action”, Technical report, Institute for Logic, Language and Computation, University of Amsterdam, 1998.
[25] , Dynamic Odds and Ends, Report ML-98-08, Institute for Logic, Language and Computation, University of Amsterdam, 1998.
[26] , Radical Epistemic Dynamic Logic, note for course “Logic in Games”, Institute for Logic, Language and Computation, University of Amsterdam, 1999.
[27] , Update as Relativization, manuscript, Institute for Logic, Language and Computation, University of Amsterdam, 1999.
[28] , Logic in Games, lecture notes, Institute for Logic, Language and Computation, University of Amsterdam, 1999–2002, http://staff.science.uva.nl/∼johan.
[29] , Update Delights, invited lecture, ESSLLI Summer School, Birmingham, and manuscript, Institute for Logic, Language and Computation, University of Amsterdam, 2000.
[30] , Games in dynamic epistemic logic Bulletin of Economic Research, vol. 53 (2001), no. 4, pp. 219–248.
[31] , Logic and The Dynamics of Information, 2003, in , ed., Minds and Machines 13:4, 503–519.Google Scholar
[32] , Rational dynamics and epistemic logic in games Logic, Game Theory and Social Choice III (S. Vannucci, editor), Department of political economy, University of Siena, 2003, pp. 19–23.
[33] , Structural properties of dynamic reasoning The Dynamic Turn (J. Peregrin, editor), Kluwer Academic Publishers, Amsterdam, 2003, pp. 15–31.
[34] , Open problems in update logic Mathematical Problems from Applied Logic (N. Rozhkowska, editor), Plenum Publishers, Russian Academy of Sciences, Novosibirsk, 2005.
[35] , Update and Revision in Games, 2005, paper for APA-ASL Meeting, San Francisco. Continuation of “A Mini-Guide to Logic in Action” Philosophical Researches 2004, Supplement, 21–30, Chinese Academy of Sciences, Beijing.
[36] and , Diversity of logical agents in games Philosophia Scientiae, vol. 8 (2004), no. 2, pp. 163–178.
[37] , , and , Modal logics and bounded fragments of predicate logic Journal of Philosophical Logic, vol. 27 (1998), no. 3, pp. 217–274.
[38] , , and , A Logic for Communication and Change Proceedings TARK10, Singapore (R. van der Meyden, editor), ILLC&CWI Amsterdam, Philosophy Department, Groningen, 2005, pp. 253–261.
[39] , , and , Dynamic Epistemic Logic, Kluwer- Springer Academic Publishers, Dordrecht, to appear.
[40] , Common knowledge and update in finite environments Information and Computation, vol. 140 (1998), no. 2, pp. 115–157.
[41] , Knowledge Games, Dissertation DS-2000-06, Institute for Logic, Language and Computation, University of Amsterdam, 2000.
[42] , Keeping Secrets With Public Communication, Technical Report, Department of Computer Science, University of Otago, 2002.
[43] Nationale Wetenschapsquiz, Gossip Puzzle, 1998, http://www.nwo.nl/.
[44] , An Introduction to Multi-Agent Systems, JohnWiley, Colchester, 2002.
- 11
- Cited by