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)

zbMATH Keywords

common knowledgeKripke modelslogic of knowledge

Mathematics Subject Classification ID

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

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)

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

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)