scientific article; zbMATH DE number 1420890

zbMATH Open0945.03041MaRDI QIDQ4944959

Stéphane Demri, Ewa Orłowska

Publication date: 8 October 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

modal logicquantum logicinformation systemstemporal logicinformational representability of abstract frames

Mathematics Subject Classification ID

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

Related Items (2)

Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information ⋮ Title not available (Why is that?)

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)