Skip to main content
SpringerLink
Log in

Logic and the Dynamics of Information

  • Published:
Minds and Machines Aims and scope Submit manuscript

Abstract

We discuss how issues of information and computation interact with logic today, and what might be a natural extended agenda of investigation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Abramsky, S. (1996), ‘Semantics of Interaction: an Introduction to Game Semantics', in P. Dybjer and A. Pitts, eds., Proceedings 1966 CLiCS Summer School, Isaac Newton Institute, Cambridge: Cambridge University Press, pp. 1–31.

    Google Scholar 

  • Abramsky, S. (1998), ‘From Computation to Interaction, towards a science of information', BCS/IEE Turing Lecture.

  • Adriaans, P. (2002), The Robosail Project, keynote lecture, ECAI-2002, Lyon.

  • Axelrod, R. (1984), The Evolution of Cooperation, New York: Basic Books.

    Google Scholar 

  • Baltag, A., Moss, L. and Solecki, S. (1998), ‘The Logic of Public Announcements, Common Knowledge and Private Suspicions’, Proceedings TARK 1998, pp. 43–56, Los Altos: Morgan Kaufmann Publishers, Updated version, 2003, Department of Cognitive Science, Indiana University, Bloomington, and Department of Computing, Oxford University.

    Google Scholar 

  • Belnap, N., Perloff, M. and Xu, M. (2001), Facing the Future, Oxford: Oxford University Press.

    Google Scholar 

  • Bod, R. (1998), Beyond Grammar, Stanford, CA: CSLI Publications.

    Google Scholar 

  • Fagin, R., Halpern, J., Moses, Y. and Vardi, M. (1995), Reasoning about Knowledge, Cambridge, MA: The MIT Press.

    Google Scholar 

  • Gärdenfors, P. (1987), Knowledge in Flux: On the Dynamics of Epistemic States, Cambridge, MA: MIT Press.

    Google Scholar 

  • Hendricks, V. (2002), ‘Active Agents', PHILOG Newsletter, Roskilde, to appear in J. van Benthem and R. Van Rooy, eds., special issue on Information Theories of the Journal of Logic, Language and Information.

  • Hintikka, J. (1973), Logic, Language Games, and Information, Oxford: Clarendon Press.

    Google Scholar 

  • Kamps, J. (2000), A Logical Approach to Computational Theory Building, with Applications to Sociology, dissertation, ILLC Amsterdam.

  • Kelly, K. (1996), The Logic of Reliable Inquiry, Oxford: Oxford University Press.

    Google Scholar 

  • Kirkpatrick, S. and Selman, B. (1994), ‘Critical Behavior in the Satisfiability of Random Boolean Expressions’, Science 264, pp. 1297–1301.

    Google Scholar 

  • Mouwen, C. (1998), The Dynamics of Opinion Change, Tilburg: Tilburg University Press.

    Google Scholar 

  • Osbourne, M. and Rubinstein, A. (1994), A Course in Game Theory, Cambridge, MA: MIT Press.

    Google Scholar 

  • Parikh, P. (2001), The Use of Language, Stanford, CA: CSLI Publications.

    Google Scholar 

  • Parikh, R. (1985), ‘The Logic of Games and its Applications’, Annals of Discrete Mathematics 24, pp. 111–140.

    Google Scholar 

  • Parikh, (2002), ‘Social Software’, Synthese 132, pp. 187–211.

    Google Scholar 

  • Parikh, R. and Ramanujam, R. (2002), ‘A Knowledge Based Semantics of Messages', CUNY New York & Chennai, India, to appear in J. van Benthem and R. van Rooy, eds., special issue on Information Theories of the Journal of Logic, Language and Information.

  • Pauly, M. (2001), Logic for Social Software, dissertation DS-2001-10, Institute for Logic, Language and Computation, University of Amsterdam.

  • Reynolds, M. (2002), ‘Axioms for Branching Time’, Journal of Logic and Computation 12, pp. 679–697.

    Google Scholar 

  • Rott, H. (2001), Change, Choice and Inference, Oxford: Clarendon Press.

    Google Scholar 

  • Shoham, Y. (2002), Multi-Agent Systems, lecture notes, Department of Computer Science, Stanford University.

  • Skyrms, B. (2002), The Stag Hunt: Evolution of Social Structure, Department of Philosophy, UC Irvine.

    Google Scholar 

  • Stalnaker, R. (1996), ‘Knowledge, Belief, and Counterfactual Reasoning in Games’, Economics and Philosophy 12, pp. 133–163.

    Google Scholar 

  • Stalnaker, R. (1999), ‘Extensive and Strategic Form: Games and Models for Games’, Research in Economics 53(2) pp. 93–291.

    Google Scholar 

  • van Benthem, J. (1966), Exploring Logical Dynamics, Stanford, CA: CSLI Publications.

    Google Scholar 

  • van benthen, J. (2002), ‘One is a Lonely Number', invited lecture, Colloquium Logicum, Muenster. Report PP-2003-07, ILLC, University of Amsterdam.

  • van Ditmarsch, (2000), Knowledge Games, dissertation DS-2000-06, ILLC Amsterdam and University of Groningen.

  • van Ditmarsch, (2002), ‘Keeping Secrets with Public Communication', Department of Computer Science, University of Otago.

  • van Rooy, R.(2002), ‘Quality and Quantity of Information Exchange', to appear in J. van Benthem and R. van Rooy, eds., special issue on Information Theories of the Journal of Logic, Language and Information.

  • Wansing, H. (2002), ‘Diamonds are a Philosopher's Best Friends’, Journal of Philosophical Logic 31, pp. 591–612.

    Google Scholar 

  • Wooldridge, M. (2002), An Introduction to Multi-Agent Systems, John Wiley, Colchester.

    Google Scholar 

  • Zanardo, A. (2002), ‘First-Order and Second-Order Aspects of Branching-Time Semantics', Department of Mathematics, University of Padova, to appear in Proceedings HPLMC-02, San Sebastian.

Download references

Author information

Authors and Affiliations

  1. Institute for Logic Language and Computation (ILLC), University of Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands

    Johan van Benthem

Authors
  1. Johan van Benthem
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

van Benthem, J. Logic and the Dynamics of Information. Minds and Machines 13, 503–519 (2003). https://doi.org/10.1023/A:1026296600182

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1026296600182

Keywords

Search

Navigation