Premium
La connaissance commune en logique modale
Author(s) -
Lismont Luc
Publication year - 1993
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19930390114
Subject(s) - class (philosophy) , modal logic , mathematics , modal , calculus (dental) , epistemology , mathematical economics , philosophy , medicine , chemistry , dentistry , polymer chemistry
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.