scientific article; zbMATH DE number 221548
From MaRDI portal
Publication:4697032
zbMath0786.03020MaRDI QIDQ4697032
Wiebe van der Hoek, John-Jules Ch. Meyer
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicawarenesslogical omniscienceimplicit beliefKD45belief-as- necessitybelief-as-possibilitylogics for belief
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)
Related Items (4)
Hyperintensional logics for everyone ⋮ Doxastic logic: a new approach ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems ⋮ A probabilistic semantics for belief logic
This page was built for publication: