scientific article; zbMATH DE number 1453143

zbMath0942.03513MaRDI QIDQ4955424

Philippe Mongin, Luc Lismont

Publication date: 2 August 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicdecidabilityKripke structurescommon knowledgeepistemic logicaxiomatizationcommon beliefneighbourhood structurespartitional model

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (1)

A non-minimal but very weak axiomatization of common belief

This page was built for publication: