L. Lismont [4]Luc Lismont [2]
  1. On the Logic of Common Belief and Common Knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.
    The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   12 citations  
  2.  29
    La Connaissance Commune: Une Sémantique Pour la Logique Modale.L. Lismont & P. Mongin - 1993 - Logique Et Analyse 133 (134):133-149.
    This French paper is a prelimary report on the authors' work on the logics of common knowledge and common belief. See L. Lismont and P. Mongin, "On the logic of common belief and common knowledge", Theory and Decision 37 (1): 75-106. 1994 for a more complete report.
    Direct download  
    Export citation  
    Bookmark   1 citation  
  3.  27
    Common Knowledge: Relating Anti-Founded Situation Semantics to Modal Logic Neighbourhood Semantics. [REVIEW]L. Lismont - 1994 - Journal of Logic, Language and Information 3 (4):285-302.
    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.
    Direct download (4 more)  
    Export citation  
    Bookmark   4 citations  
  4.  8
    La Connaissance Commune En Logique Modale.Luc Lismont - 1993 - Mathematical Logic Quarterly 39 (1):115-130.
    The problem of Common Knowledge will be considered in two classes of models: a class K.* of Kripke models and a class S of Scott models. Two modal logic systems will be defined. Those systems, KC and MC, include an axiomatisation of Common Knowledge. We prove determination of each system by the corresponding class of models. MSC: 03B45, 68T25.
    Direct download (3 more)  
    Export citation  
    Bookmark   4 citations  
  5. Index of Authors of Volume 3.L. C. Aiello, L. Lismont, G. Amati, H. Andr6ka, S. Mikulas, J. Bergstra, N. Pankrat'ev, A. Bucalo, B. Penther & M. Pentus - 1995 - Journal of Logic, Language, and Information 3 (327):329-330.
    Export citation  
  6. Common Knowledge in Modal Logic.L. Lismont - 1993 - Mathematical Logic Quarterly 39 (1):115-130.