scientific article; zbMATH DE number 1267265

zbMath0922.03024MaRDI QIDQ4235216

Huowang Chen, Haiyan Liu, Kaile Su

Publication date: 20 June 1999

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

zbMATH Keywords

semanticsagentscontextslogic of knowledge and beliefexplicit quantification over modalitiesHilbert style proof systemquantificational multi-modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

This page was built for publication: