scientific article; zbMATH DE number 1348465
From MaRDI portal
Publication:4264718
zbMATH Open0925.03103MaRDI QIDQ4264718
Publication date: 7 October 1999
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
Related Items (4)
Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) ⋮ Title not available (Why is that?) ⋮ Analysis of interval-valued decision formal contexts ⋮ Integrated Formal Methods
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 Q4264718)