SOLUTION OF A NUMBER THEORETIC PROBLEM INVOLVING KNOWLEDGE

DOI10.1142/S0129054191000200zbMATH Open0765.68184MaRDI QIDQ4016735FDOQ4016735

Authors: Giovanni Panti 

Publication date: 16 January 1993

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

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

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)

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)