Publication:4329277
From MaRDI portal
zbMath0992.03078MaRDI QIDQ4329277
Publication date: 16 September 2002
spatial reasoning; Boolean algebras with operators; Kripke frame; reasoning with incomplete information; sufficiency operators
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
68T37: Reasoning under uncertainty in the context of artificial intelligence
03G05: Logical aspects of Boolean algebras
06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)
Related Items
Approximation Schemes in Logic and Artificial Intelligence, Context Algebras, Context Frames, and Their Discrete Duality, Algebras for Galois-style connections and their discrete duality, An overview of the asymmetric bipolar representation of positive and negative information in possibility theory, Characterisation of main classes of fuzzy relations using fuzzy modal operators, Preclusivity and Simple Graphs