La connaissance commune en logique modale

✍ Scribed by Luc Lismont

• Book ID: 2940860
• Publisher: John Wiley and Sons
• Year: 1993
• Tongue: English
• Weight: 788 KB
• Volume: 39
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19930390114

✦ Synopsis

Abstract

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.