Common knowledge logic in a higher order proof assistant?

Computer Science – Artificial Intelligence

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

11 p

Scientific paper

This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality that says that a group of agents shares a knowledge about a certain proposition in a inductive way. This modality is specified by using a fixpoint approach. Furthermore, from these experiments, we discuss and compare the structure of theorems that can be proved in specific theories that use common knowledge logic. Those structures manifests the interplay between the theory (as implemented in the proof assistant Coq) and the metatheory.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Common knowledge logic in a higher order proof assistant? does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Common knowledge logic in a higher order proof assistant?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Common knowledge logic in a higher order proof assistant? will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-146633

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.