scientific article; zbMATH DE number 1114035
From MaRDI portal
Publication:4375804
zbMath0886.03015MaRDI QIDQ4375804
Publication date: 8 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logiccompletenessinformation systemsincomplete informationKripke framerelative accessibility relationsrepresentation and mechanization of reasoning
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)
Related Items (3)
A hierarchy of modal logics with relative accessibility relations ⋮ A class of decidable information logics ⋮ A polynomial space construction of tree-like models for logics with local chains of modal connectives
This page was built for publication: