Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics [Book Review]
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)|
References found in this work BETA
La Connaissance Commune En Logique Modale.Luc Lismont - 1993 - Mathematical Logic Quarterly 39 (1):115-130.
Citations of this work BETA
Being Realistic About Common Knowledge: A Lewisian Approach.Cedric Paternotte - 2011 - Synthese 183 (2):249-276.
About Cut Elimination for Logics of Common Knowledge.Luca Alberucci & Gerhard Jäger - 2005 - Annals of Pure and Applied Logic 133 (1):73-99.
Iterative and Fixed Point Common Belief.Aviad Heifetz - 1999 - Journal of Philosophical Logic 28 (1):61-79.
Similar books and articles
Interpretations of Intuitionist Logic in Non-Normal Modal Logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
The Inadequacy of the Neighbourhood Semantics for Modal Logic.Martin Gerson - 1975 - Journal of Symbolic Logic 40 (2):141-148.
First-Order Indefinite and Uniform Neighbourhood Semantics.Arnold Nat - 1979 - Studia Logica 38 (3):277 - 296.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
Added to index2009-01-28
Total downloads25 ( #204,025 of 2,171,999 )
Recent downloads (6 months)1 ( #325,967 of 2,171,999 )
How can I increase my downloads?