ENSEMBLE MODÈLE

Ce sujet est traité dans les articles suivants :

1.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

Dans le chapitre "Logique épistémique"  : … La sémantique initialement proposée par Hintikka pour la logique épistémique repose sur la notion d'*ensemble modèle (model set) : il s'agit d'ensembles de formules cohérents et déductivement clos. On définit sur l'ensemble Ω (model system) de ces ensembles modèles une relation d'alternance épistémique par rapport… Lire la suite