scientific article; zbMATH DE number 7117799

zbMATH Open1440.03001MaRDI QIDQ5236427

Felix Canavoi

Publication date: 15 October 2019

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Related Items (1)

Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• First order common knowledge logics 👍 👎
• A map of common knowledge logics 👍 👎
• About cut elimination for logics of common knowledge 👍 👎
• Mechanizing common knowledge logic using COQ 👍 👎
• Common Knowledge Semantics of Armstrong’s Axioms 👍 👎
• Formalizing Concurrent Common Knowledge as Product of Modal Logics 👍 👎
• Common Knowledge Logic in a Higher Order Proof Assistant 👍 👎

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)