La connaissance commune: Une sémantique pour la logique modale

Luc Lismont, Philippe Mongin

Abstract


This article introduces the condition of belief closure (a proposition is said to be belief closed if it is believed in every world where it is true) and uses it to define a novel semantics of common knowledge. It is shown that a monotonic system of epistemic modal logic is sound and complete with respect to this semantics.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.