The coinductive formulation of common knowledge

DOI10.1007/978-3-319-94821-8_8OpenAlexW2810226645MaRDI QIDQ1791151

Venanzio Capretta, Colm Baston

Publication date: 4 October 2018

Full work available at URL: https://nottingham-repository.worktribe.com/output/953850

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (1)

Semirings of Evidence

Uses Software

• Unnamed Item
• HOL Light
• Agda

This page was built for publication: The coinductive formulation of common knowledge