scientific article; zbMATH DE number 1420890

MaRDI QIDQ4944959zbMATH OpenFDO

Authors Stéphane Demri, Ewa Orłowska

Publication date 8 October 2000

zbMATH Keywords

information systemsinformational representability of abstract framesmodal logicquantum logictemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Quantum logic (03G12) Frames, locales (06D22) Theory of data (68P99) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1303446
• scientific article; zbMATH DE number 1114035
• MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
• Modal logics for knowledge representation systems
• Kripke semantics for knowledge representation logics

Cited in

(4)

• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
• scientific article; zbMATH DE number 1303446 (Why is no real title available?)
• scientific article; zbMATH DE number 935035 (Why is no real title available?)
• How to Frame a Mathematician

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4944959)