SOLUTION OF A NUMBER THEORETIC PROBLEM INVOLVING KNOWLEDGE

DOI10.1142/S0129054191000200MaRDI QIDQ4016735zbMATH OpenFDO

Authors Giovanni Panti

Publication date 16 January 1993

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0129054191000200

zbMATH Keywords

common knowledgeKripke modelslogic of knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Logic in artificial intelligence (68T27)

Recommendations

• Sum and Product in Dynamic Epistemic Logic
• La connaissance commune en logique modale
• AI 2005: Advances in Artificial Intelligence
• The impossible problem
• Logics of public communications

Cited in

(5)

• Sharvy's Lucy and Benjamin puzzle
• The impossible problem
• Sum and Product in Dynamic Epistemic Logic
• A mechanization of the impossible puzzle raised by Hans Freudenthal from intelligent agents point of view
• AI 2005: Advances in Artificial Intelligence

This page was built for publication: SOLUTION OF A NUMBER THEORETIC PROBLEM INVOLVING KNOWLEDGE

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