scientific article; zbMATH DE number 7117799

MaRDI QIDQ5236427zbMATH OpenFDO

Authors Felix Canavoi

Publication date 15 October 2019

Full work available at URL http://d-nb.info/1173899189/34

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logics of knowledge and belief (including belief change) (03B42) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Games on graphs (graph-theoretic aspects) (05C57)

Recommendations

• A map of common knowledge logics
• Common knowledge logic in a higher order proof assistant
• scientific article; zbMATH DE number 2068679
• scientific article; zbMATH DE number 589745
• About cut elimination for logics of common knowledge
• First order common knowledge logics
• Mechanizing common knowledge logic using COQ
• scientific article; zbMATH DE number 2015273
• Common Knowledge Semantics of Armstrong’s Axioms
• Formalizing Concurrent Common Knowledge as Product of Modal Logics

Cited in

(2)

• Common knowledge and multi-scale locality analysis in Cayley structures
• scientific article; zbMATH DE number 7668120 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5236427)