Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 3 (4):285-302 (1994)
Two approaches for defining common knowledge coexist in the literature: the infinite iteration definition and the circular or fixed point one. In particular, an original modelization of the fixed point definition was proposed by Barwise in the context of a non-well-founded set theory and the infinite iteration approach has been technically analyzed within multi-modal epistemic logic using neighbourhood semantics by Lismont. This paper exhibits a relation between these two ways of modelling common knowledge which seem at first quite different.
|Keywords||Common knowledge multi-modal logic neighbourhood semantics non-well-founded sets Scott models|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
David Lewis (1969). Convention: A Philosophical Study. Harvard University Press.
Brian F. Chellas (1980). Modal Logic: An Introduction. Cambridge University Press.
Jaakko Hintikka (1962). Knowledge and Belief. Ithaca, N.Y.,Cornell University Press.
Jon Barwise (1987). The Liar: An Essay on Truth and Circularity. Oxford University Press.
Jon Barwise (1989). The Situation in Logic. Center for the Study of Language and Inf.
Citations of this work BETA
Cedric Paternotte (2011). Being Realistic About Common Knowledge: A Lewisian Approach. Synthese 183 (2):249-276.
Luca Alberucci & Gerhard Jäger (2005). About Cut Elimination for Logics of Common Knowledge. Annals of Pure and Applied Logic 133 (1):73-99.
Aviad Heifetz (1999). Iterative and Fixed Point Common Belief. Journal of Philosophical Logic 28 (1):61-79.
Similar books and articles
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
Bartosz Wieckowski, Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.
J. Michael Dunn & Chunlai Zhou (2005). Negation in the Context of Gaggle Theory. Studia Logica 80 (2-3):235-264.
Martin Gerson (1975). The Inadequacy of the Neighbourhood Semantics for Modal Logic. Journal of Symbolic Logic 40 (2):141-148.
Arnold Nat (1979). First-Order Indefinite and Uniform Neighbourhood Semantics. Studia Logica 38 (3):277 - 296.
Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.
Luc Lismont & Philippe Mongin (2003). Strong Completeness Theorems for Weak Logics of Common Belief. Journal of Philosophical Logic 32 (2):115-137.
Denis Bonnay & Paul Égré (2009). Inexact Knowledge with Introspection. Journal of Philosophical Logic 38 (2):179 - 227.
Added to index2009-01-28
Total downloads23 ( #141,517 of 1,777,915 )
Recent downloads (6 months)1 ( #291,290 of 1,777,915 )
How can I increase my downloads?