Add to ORKG(eng) 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
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
Epistemic logic investigates what agents know or believe about certain factual descriptions of the w...
Coq is a proof assistant based on a higher-order logic. Coq allows to handle calculus mathematical a...
I present a mechanization of epistemic logic, also called knowledge logic, I have done using Coq. Th...
(eng) We present an experiment on epistemic logic, also called knowledge logic, we have done using C...
This paper explores the implementation of intuitionistic logic in the domain-specific language Coq. ...
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15834 / INIST-CNRS ...
This artefact contains the Coq sources accompanying my PhD dissertation "Concurrent Separation Logic...
This paper presents experiments on common knowledge logic, conducted with the help of the proof assi...
International audienceWe report about an ongoing collaborative effort to consolidate several Coq dev...
We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic...
ABSTRACT. Common knowledge logic is meant to describe situations of the real world where a group of ...
In the first Chapter we compare two well-known type-based computer frameworks for computer aided log...
11 p.International audienceThis paper presents experiments on common knowledge logic, conducted with...
Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multi-a...
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
Epistemic logic investigates what agents know or believe about certain factual descriptions of the w...
Coq is a proof assistant based on a higher-order logic. Coq allows to handle calculus mathematical a...
I present a mechanization of epistemic logic, also called knowledge logic, I have done using Coq. Th...
(eng) We present an experiment on epistemic logic, also called knowledge logic, we have done using C...
This paper explores the implementation of intuitionistic logic in the domain-specific language Coq. ...
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15834 / INIST-CNRS ...
This artefact contains the Coq sources accompanying my PhD dissertation "Concurrent Separation Logic...
This paper presents experiments on common knowledge logic, conducted with the help of the proof assi...
International audienceWe report about an ongoing collaborative effort to consolidate several Coq dev...
We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic...
ABSTRACT. Common knowledge logic is meant to describe situations of the real world where a group of ...
In the first Chapter we compare two well-known type-based computer frameworks for computer aided log...
11 p.International audienceThis paper presents experiments on common knowledge logic, conducted with...
Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multi-a...
Artifact for the CPP'21 paper Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's...
Epistemic logic investigates what agents know or believe about certain factual descriptions of the w...
Coq is a proof assistant based on a higher-order logic. Coq allows to handle calculus mathematical a...