Modal Logic for Open Minds

In Modal Logic for Open Minds, Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and axiomatics, and then covers more advanced topics, such as expressive power, computational complexity, and intelligent agency. Many of the chapters are followed by exercises.

[1]  Anne Kaldewaij,et al.  Programming - the derivation of algorithms , 1990, Prentice Hall international series in computer science.

[2]  Lawrence S. Moss,et al.  Vicious circles - on the mathematics of non-wellfounded phenomena , 1996, CSLI lecture notes series.

[3]  Salil P. Vadhan,et al.  Computational Complexity , 2005, Encyclopedia of Cryptography and Security.

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

[5]  B. T. Cate,et al.  Model theory for extended modal languages , 2005 .

[6]  A. Tarski,et al.  Cylindric Algebras. Part II , 1988 .

[7]  J.F.A.K. van Benthem.  A note on Jónsson's theorem , 1988 .

[8]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[9]  Joseph Y. Halpern,et al.  The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds , 1989, J. Comput. Syst. Sci..

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

[11]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[12]  S Herbert,et al.  Changing for the better? , 1995, Nursing times.

[13]  C. McCarty.  CONSTRUCTIVISM IN MATHEMATICS , 2009 .

[14]  Johan van Benthem,et al.  Logic Games: From Tools to Models of Interaction , 2011, Proof, Computation and Agency.

[15]  István Németi,et al.  Algebraization of quantifier logics, an introductory overview , 1991, Stud Logica.

[16]  Johan van Benthem,et al.  Modal Logics of Space , 2007, Handbook of Spatial Logics.

[17]  Robert Goldblatt,et al.  A General Semantics for Quantified Modal Logic , 2006, Advances in Modal Logic.

[18]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[19]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[20]  Johan van Benthem,et al.  Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..

[21]  Patrick Girard,et al.  Modal logic for belief and preference change , 2008 .

[22]  M. Kracht.  Tools and Techniques in Modal Logic , 1999 .

[23]  Stefan Friedrich,et al.  Topology , 2019, Arch. Formal Proofs.

[24]  H. Keisler.  Model theory for infinitary logic , 1971 .

[25]  Kevin C. Klement,et al.  GOTTLOB FREGE , 2010 .

[26]  C. D. Walter.  Algorithmics–The spirit of computing , 1988 .

[27]  John Geanakoplos,et al.  Common Knowledge , 1992, TARK.

[28]  Hiroakira Ono.  Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics) , 1995 .

[29]  R. Goldblatt.  Logics of Time and Computation , 1987 .

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

[31]  J.F.A.K. van Benthem.  Syntactic aspects of modal incompleteness theorems , 2008 .

[32]  Michael Zakharyaschev,et al.  Modal Logic , 1997, Oxford logic guides.

[33]  Kees Doets,et al.  Basic model theory , 1996, Studies in logic, language and information.

[34]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[35]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[36]  A. Baltag,et al.  EPISTEMIC LOGIC AND INFORMATION UPDATE , 2008 .

[37]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[38]  J. Geanakoplos,et al.  We Can't Disagree Forever , 1982 .

[39]  W. Blok.  On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics , 1978 .

[40]  W. Hodges.  Elementary Predicate Logic , 1983 .

[41]  Peter Aczel,et al.  Algebras and Coalgebras , 2000, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.

[42]  Johan van Benthem,et al.  Modal Frame Classes Revisited , 1993, Fundam. Informaticae.

[43]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[44]  Sheila Pantry,et al.  Changing for the Better , 2004 .

[45]  D.H.J. de Jongh,et al.  The logic of the provability , 1998 .

[46]  Yuri Gurevich,et al.  The Classical Decision Problem , 1997, Perspectives in Mathematical Logic.

[47]  Y. Gurevich.  On Finite Model Theory , 1990 .

[48]  Valentin Goranko,et al.  Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

[49]  Sieuwert Maarten van Otterloo,et al.  A strategic analysis of multi-agent protocols , 2005 .

[50]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction: Computation as conversation , 2008 .

[51]  Vaj Tijn Borghuis.  Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus , 1994 .

[52]  Polly S Nichols,et al.  Agreeing to disagree. , 2005, General dentistry.

[53]  Johan van Benthem,et al.  Modal Fixed-Point Logic and Changing Models , 2008, Pillars of Computer Science.

[54]  Willard Van Orman Quine,et al.  Selected Logic Papers , 1966 .

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

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

[57]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[58]  Johan van Benthem,et al.  Lindstrom theorems for fragments of first-order logic , 2007, LICS.

[59]  P. Nidditch,et al.  Lincos. Design of a Language for Cosmic Intercourse , 1962 .

[60]  Johan van Benthem,et al.  Modal logic and invariance , 2008, J. Appl. Non Class. Logics.

[61]  Johan van Benthem,et al.  Lindstrom theorems for fragments of first-order logic , 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).

[62]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[63]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[64]  Wolfgang Lenzen,et al.  Glauben, Wissen und Wahrscheinlichkeit , 1980 .

[65]  B. Dahn.  Admissible sets and structures , 1978 .

[66]  Johan van Benthem,et al.  The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.