scientific article
From MaRDI portal
Publication:3038607
zbMath0525.68014MaRDI QIDQ3038607
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean algebraquery languagetense logiccompleteness theoreminformation systemdynamic information logictime dependencies between statements
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Information storage and retrieval of data (68P20)
Related Items (4)
Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ A rough set-based incremental approach for learning knowledge in dynamic incomplete information systems ⋮ An update logic for information systems ⋮ Logics for Temporal Information Systems in Rough Set Theory
This page was built for publication:
