scientific article; zbMATH DE number 4114591

MaRDI QIDQ4729757zbMATH OpenFDO

Authors Dimiter Vakarelov

Publication date 1989

zbMATH Keywords

information logicsknowledge representation systemlogic for knowledge representationmodal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Artificial intelligence (68T99)

Recommendations

• Modal logics for knowledge representation systems
• scientific article; zbMATH DE number 125988
• scientific article; zbMATH DE number 4058914
• scientific article; zbMATH DE number 1269575
• scientific article; zbMATH DE number 1241674
• Models for relevant modal logics
• Modal logics for qualitative possibility theory
• MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
• A modal logic of knowledge, belief, and estimation
• A modal logic of knowledge, belief and estimation

Cited in

(20)

• Modal logics for knowledge representation systems
• A logico-algebraic approach to the model theory of knowledge
• A duality between Pawlak's knowledge representation systems and bi-consequence systems
• A logic-algebraic tool for reasoning with knowledge-based systems
• Kripke semantics for knowledge representation logics
• On the rough consistency measures of logic theories and approximate reasoning in rough logic
• scientific article; zbMATH DE number 1696899 (Why is no real title available?)
• MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
• scientific article; zbMATH DE number 3876644 (Why is no real title available?)
• The logic of being informed
• scientific article; zbMATH DE number 23768 (Why is no real title available?)
• scientific article; zbMATH DE number 92609 (Why is no real title available?)
• scientific article; zbMATH DE number 125989 (Why is no real title available?)
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
• Information algebras
• On linear logic of knowledge and time
• Multimodal epistemic Łukasiewicz logics with application in immune system
• scientific article; zbMATH DE number 2236613 (Why is no real title available?)
• Theory and Applications of Relational Structures as Knowledge Instruments
• Epistemic skills: reasoning about knowledge and oblivion

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 Q4729757)