Mechanizing epistemic logic with Coq

Abstract : 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.
Document type :
Reports
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal-lara.archives-ouvertes.fr/hal-02102004
Contributor : Colette Orange <>
Submitted on : Wednesday, April 17, 2019 - 9:11:48 AM
Last modification on : Sunday, April 28, 2019 - 1:23:06 AM

File

RR2004-27.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02102004, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

5

Files downloads

14