Publication:5465433
From MaRDI portal
zbMath1076.03013MaRDI QIDQ5465433
Kaile Su, Ron van der Meyden, Kai Engelhardt
Publication date: 22 August 2005
decidability; hierarchical structures; epistemic modalities; local propositions; completeness of axiomatization; modal logic of necessity; multi-agent S5 structures
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03B25: Decidability of theories and sets of sentences