Publication:5483017

zbMath1102.03011MaRDI QIDQ5483017

Arild Waaler

Publication date: 15 August 2006

zbMATH Keywords

confidence; consistency; sequent calculus; cut-elimination; belief; multi-modal system of only knowing

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

03F05: Cut-elimination and normal-form theorems

Related Items

A class of decidable information logics, Only knowing with degrees of confidence