scientific article; zbMATH DE number 757646
From MaRDI portal
Publication:4833778
zbMath0823.03009MaRDI QIDQ4833778
Publication date: 23 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monotonicityflexibilityawarenesslogical omnisciencepossible world semanticsimplicit beliefneighbourhood semanticsnonnormal logicsexplicit beliefsieve semanticssyntactic filter
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Applications of logic in associative algebras (16B70)
Related Items (2)
A verification framework for agent programming with declarative goals ⋮ Towards an Awareness-Based Semantics for Security Protocol Analysis
This page was built for publication:
