scientific article
From MaRDI portal
Publication:3148329
zbMath1016.03026MaRDI QIDQ3148329
Philippe Balbiani, Dimiter Vakarelov
Publication date: 25 July 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (8)
Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Covering-based rough sets and modal logics. I. ⋮ Rudiments of rough sets ⋮ Temporal multi-valued logic with lost worlds in the past ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ Rough Sets: From Rudiments to Challenges ⋮ Branching time agents logics, satisfiability problem by rules in reduced form
This page was built for publication:
