A logic for information systems

DOI10.1023/A:1004927613994zbMath0867.03006OpenAlexW1493823068MaRDI QIDQ677076

Dmitri A. Archangelsky, Michael A. Taitslin

Publication date: 4 August 1997

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004927613994

zbMATH Keywords

relationsmodal logicformal systeminformation systemBoolean combinations

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)