Journal of Logic, Language and Information 3 (4):285-302 (1994)
|Abstract||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 (1989) 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 (1993). This paper exhibits a relation between these two ways of modelling common knowledge which seem at first quite different.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
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 downloads12 ( #93,408 of 549,113 )
Recent downloads (6 months)1 ( #63,361 of 549,113 )
How can I increase my downloads?