Common Knowledge Logic in a Higher Order Proof Assistant

DOI10.1007/978-3-642-37651-1_11zbMath1383.68078OpenAlexW1498590701MaRDI QIDQ4916081

Pierre Lescanne

Publication date: 19 April 2013

Published in: Programming Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37651-1_11

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

Intuitionistic common knowledge or belief

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Cheating husbands and other stories: A case study of knowledge, action, and communication
• Hypothetical knowledge and games with perfect information
• Backward induction and common knowledge of rationality
• Mechanizing common knowledge logic using COQ

This page was built for publication: Common Knowledge Logic in a Higher Order Proof Assistant