A Logic for Partial System Description

DOI10.1093/LOGCOM/14.4.507MaRDI QIDQ4823806zbMATH OpenOpenAlexFDO

Authors 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

formal concept analysisapproximation theoryGalois connectionsknowledge representationintuitionistic modal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1163568
• Partial up an down logic
• scientific article; zbMATH DE number 549984
• Partial logic in a model-theoretic approach. Ehrenfeucht games with incomplete information
• scientific article; zbMATH DE number 1225459

Cited in

(4)

• scientific article; zbMATH DE number 92605 (Why is no real title available?)
• scientific article; zbMATH DE number 4014516 (Why is no real title available?)
• Representation systems and quantum structures
• Towards constructive DL for abstraction and refinement

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

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