scientific article

zbMath0972.68151MaRDI QIDQ2702561

J. W. van Schagen, Wiebe van der Hoek, John-Jules Ch. Meyer

Publication date: 12 March 2001

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

zbMATH Keywords

proof system\(\omega\)-rules

Mathematics Subject Classification ID

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

Related Items

KARO ⋮ Reasoning about emotional agents