A quick guided tour to the modal logic S4.2

[1]  Joel David Hamkins,et al.  The modal logic of forcing , 2005, math/0509616.

[2]  Krister Segerberg,et al.  An essay in classical modal logic , 1971 .

[3]  Guillaume Aucher,et al.  Intricate Axioms as Interaction Axioms , 2015, Stud Logica.

[4]  Wolfgang Lenzen,et al.  Epistemologische betrachtungen zu [S4, S5] , 1979 .

[5]  Michael Kaminski,et al.  The Modal Logic of Cluster-Decomposable Kripke Interpretations , 2007, Notre Dame J. Formal Log..

[6]  A. Tarski,et al.  The Algebra of Topology , 1944 .

[7]  G. Boolos.  The logic of provability , 1993 .

[8]  Robert Stalnaker,et al.  The problem of logical omniscience, I , 1991, Synthese.

[9]  Michael Dummett,et al.  Modal Logics Between S4 and S5 , 1967 .

[10]  Claudio Pizzi,et al.  Modalities and Multimodalities , 2008 .

[11]  E. Lemmon,et al.  Modal Logics Between S 4 and S 5 , 1959 .

[12]  Konstantinos Georgatos,et al.  Knowledge on Treelike Spaces , 1997, Stud Logica.

[13]  Guillaume Aucher.  Principles of Knowledge, Belief and Conditional Belief , 2014 .

[14]  Lawrence S. Moss,et al.  Topological Reasoning and the Logic of Knowledge , 1996, Ann. Pure Appl. Log..

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

[16]  J. Bell,et al.  Models and ultraproducts , 1971 .

[17]  Joseph Y. Halpern,et al.  Dealing with logical omniscience: Expressiveness and pragmatics , 2007, Artif. Intell..

[18]  R. Solovay.  Provability interpretations of modal logic , 1976 .

[19]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[20]  Joseph Y. Halpern,et al.  DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE , 2009, The Review of Symbolic Logic.

[21]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[22]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

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

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

[25]  Allen P. Hazen,et al.  Semantics for S4.2 , 1972, Notre Dame J. Formal Log..

[26]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[27]  Craig Boutilier.  Conditional logics for default reasoning and belief revision , 1992 .

[28]  Joel David Hamkins.  A simple maximality principle , 2003, J. Symb. Log..

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

[30]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[31]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[32]  Robert Goldblatt.  Diodorean modality in Minkowski spacetime , 1980 .

[33]  Johan van Benthem,et al.  Dynamic Logics of Evidence-Based Beliefs , 2011, Stud Logica.

[34]  Dov M. Gabbay,et al.  Logic and the Modalities in the Twentieth Century , 2006, Handbook of the History of Logic.

[35]  Johan van Benthem,et al.  Evidence and plausibility in neighborhood structures , 2013, Ann. Pure Appl. Log..

[36]  Benedikt Löwe,et al.  THE MODAL LOGIC OF INNER MODELS , 2016, The Journal of Symbolic Logic.

[37]  Aybüke Özgün,et al.  The Topology of Belief, Belief Revision and Defeasible Knowledge , 2013, LORI.

[38]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[39]  Valentin B. Shehtman,et al.  Modal logics of domains on the real plane , 1983 .

[40]  W. Lenzen,et al.  Knowledge, Belief, and Subjective Probability: Outlines of a Unified System of Epistemic/Doxastic Logic , 2003 .

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

[42]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[43]  Konstantinos Georgatos,et al.  Knowledge Theoretic Properties of Topological Spaces , 1992, Logic at Work.

[44]  Robert Stalnaker.  On Logics of Knowledge and Belief , 2006 .

[45]  Costas D. Koutras,et al.  Relating Truth, Knowledge and Belief in Epistemic States , 2011, ECSQARU.

[46]  Lawrence S. Moss,et al.  Topology and Epistemic Logic , 2007, Handbook of Spatial Logics.