Mechanizing epistemic logic with Coq - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2004

Mechanizing epistemic logic with Coq

(1)
1

Résumé

I present a mechanization of epistemic logic, also called knowledge logic, I have done using Coq. This work includes a formalization in Coq of epistemic logic and two case studies. This report is an updating of LIP report RR2001-12.
Je présente une mécanisation de la logique épistémique, aussi appelée logique de la connaissance que j’ai réalisée en COQ. Ce travail inclue une formalisation en COQ et deux cas d’étude. Ce rapport est une mise à jour du rapport LIP RR2001-12
Fichier principal
Vignette du fichier
RR2004-27.pdf (147.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02102004 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02102004 , version 1

Citer

Pierre Lescanne. Mechanizing epistemic logic with Coq. [Research Report] LIP RR-2004-27, Laboratoire de l'informatique du parallélisme. 2004, 2+14p. ⟨hal-02102004⟩
12 Consultations
142 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More