A Logic for Partial System Description

DOI10.1093/logcom/14.4.507zbMath1050.03011OpenAlexW2168747297MaRDI QIDQ4823806

Olivier Brunet

Publication date: 28 October 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/14.4.507

zbMATH Keywords

knowledge representationapproximation theoryformal concept analysisGalois connectionsintuitionistic modal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items

Representation systems and quantum structures ⋮ Towards constructive DL for abstraction and refinement

This page was built for publication: A Logic for Partial System Description