Oscillations, Logic, and Dynamical Systems

This is a short note with small observations about big questions. We discuss how fixed-point logics, modal and first-order, can describe natural and interesting kinds of dynamic limit behavior in social networks, not just convergence to one end state. We explore what new issues arise then, and how fixed-point logics interface with other mathematical views of dynamical systems. Finally, we discuss how to relate 'blind' network dynamics to behavior of conscious agents exercising their freedom.

[1]  Lawrence S. Moss,et al.  The Undecidability of Iterated Modal Relativization , 2005, Stud Logica.

[2]  Johan van Benthem,et al.  Logic in Games , 2014 .

[3]  Zoé Christoff,et al.  A logic for diffusion in social networks , 2015, J. Appl. Log..

[4]  Yi-Chun Chen,et al.  Iterated Strict Dominance in General Games , 2007 .

[5]  Philip Kremer,et al.  Dynamic topological logic , 2005, Ann. Pure Appl. Log..

[6]  Anil Gupta,et al.  Truth and paradox , 1982, J. Philos. Log..

[7]  Jörg Flum,et al.  Finite model theory , 1995, Perspectives in Mathematical Logic.

[8]  Fenrong Liu,et al.  Logical dynamics of belief change in the community , 2014, Synthese.

[9]  Darko Sarenac,et al.  The Geometry of Knowledge , 2003 .

[10]  Rineke Verbrugge,et al.  Logic and Complexity in Cognitive Science , 2014, Johan van Benthem on Logic and Information Dynamics.

[11]  Barton L. Lipman,et al.  A Note on the Implications of Common Knowledge of Rationality , 1994 .

[12]  Hans G. Herzberger,et al.  Notes on naive semantics , 1982, J. Philos. Log..

[13]  M. Degroot.  Reaching a Consensus , 1974 .

[14]  Thomas Wilke,et al.  Automata Logics, and Infinite Games , 2002, Lecture Notes in Computer Science.

[15]  Eric Pacuit,et al.  Majority Logic , 2004, KR.

[16]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction , 2014 .

[17]  Stephan Kreutzer,et al.  Inflationary fixed points in modal logic , 2004, TOCL.

[18]  Jonathan A. Zvesper.  Playing with information , 2010 .

[19]  Saul A. Kripke,et al.  Outline of a Theory of Truth , 1975 .

[20]  Laurina Verbrugge,et al.  Empirical reasoning in games: Logic meets cognition , 2010 .

[21]  J. Benthem,et al.  Logics of communication and change , 2006 .

[22]  R. Ramanujam,et al.  Logical Player Types for a Theory of Play , 2014, Johan van Benthem on Logic and Information Dynamics.

[23]  Johan van Benthem,et al.  Natural Language and Logic of Agency , 2014, Journal of Logic, Language and Information.

[24]  Stephan Kreutzer.  Expressive equivalence of least and inflationary fixed-point logic , 2004, Ann. Pure Appl. Log..

[25]  Dov Samet,et al.  Knowledge Spaces with Arbitrarily High Rank , 1998 .