Fifty Years: Changes and Constants in Logic

In this year of celebrations of ‘First-Order Logic 75’ and ‘Trends in Logic — 50 Years of Studia Logica’, two phenomena stand out. One is the rapid expansion of themes in modern logic, the other the remarkable constancy of the basic methods encapsulated in first-order logic. The resulting light piece may be read as a companion to Ryszard Wojcicki’s survey of logic in Poland. Our main purpose is to show some patterns by means of aerial photography.

[1]  Robert Stalnaker.  Extensive and strategic forms: Games and models for games , 1999 .

[2]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[3]  Jaakko Hintikka,et al.  Logic, Language-Games And Information , 1972 .

[4]  F. Suppe.  The Structure of Scientific Theories. , 1975 .

[5]  Ian A. Mason.  The Metatheory of the Classical Propositional Calculus is not Axiomatizable , 1985, J. Symb. Log..

[6]  Vincent F. Hendricks,et al.  Active Agents , 2003, J. Log. Lang. Inf..

[7]  Hans Rott,et al.  Theoretical Concepts in Flux Conceptual Knowledge and Theory Change , 2003 .

[8]  H. Keisler,et al.  Handbook of mathematical logic , 1977 .

[9]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[10]  Johan van Benthem,et al.  Handbook of Logic and Language , 1996 .

[11]  Balder ten Cate,et al.  Question Answering: From Partitions to Prolog , 2002, TABLEAUX.

[12]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[13]  Christof Löding,et al.  Model Checking and Satisfiability for Sabotage Modal Logic , 2003, FSTTCS.

[14]  T. S. E. Maibaum,et al.  On the Modularization Theorem for Logical Specifications , 1995, Inf. Process. Lett..

[15]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[16]  Robert van Rooy,et al.  Quality and Quantity of Information Exchange , 2003, J. Log. Lang. Inf..

[17]  J. Hintikka,et al.  Game-Theoretical Semantics , 1997 .

[18]  Michael Hannan,et al.  Foundations of a Theory of Social Forms , 2000 .

[19]  J.F.A.K. van Benthem.  Structural properties of dynamic reasoning , 2003 .

[20]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[21]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[22]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

[23]  Ronald Fagin,et al.  Probabilities on finite models , 1976, Journal of Symbolic Logic.

[24]  S Kirkpatrick,et al.  Critical Behavior in the Satisfiability of Random Boolean Expressions , 1994, Science.

[25]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[26]  Marian Przełęcki,et al.  The logic of empirical theories , 1969 .

[27]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[28]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[29]  R. Parikh.  The logic of games and its applications , 1985 .

[30]  J. Sneed,et al.  The Logical Structure of Mathematical Physics , 1971 .

[31]  Johan van Benthem,et al.  Interpolation, preservation, and pebble games , 1999, Journal of Symbolic Logic.

[32]  Valentin Goranko.  The Basic Algebra of Game Equivalences , 2003, Stud Logica.

[33]  S. Abramsky.  Semantics of Interaction: an introduction to Game Semantics , 1997 .

[34]  Kevin T. Kelly.  The Logic of Reliable Inquiry , 1996 .

[35]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[36]  Yehoshua Bar-Hillel,et al.  Language and Information , 1964 .

[37]  Dov M. Gabbay,et al.  An Overview of Fibred Semantics and the Combination of Logics , 1996, FroCoS.

[38]  Johan van Benthem,et al.  Logic and the Dynamics of Information , 2003, Minds and Machines.

[39]  J Vanbenthem,et al.  The Logical Study of Science , 1982 .

[40]  Colin Stirling,et al.  Bisimulation, Modal Logic and Model Checking Games , 1999, Logic Journal of the IGPL.

[41]  T. Kuipers.  Structures in Science , 2001 .

[42]  Frederick Suppe,et al.  The Structure of Scientific Theories. , 1975 .

[43]  J.F.A.K. van Benthem,et al.  Is there still Logic in Bolzano's Key? , 2003 .

[44]  Johan van Benthem,et al.  Logic Games are Complete for Game Logics , 2003, Stud Logica.