MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS

DOI10.1002/MALQ.19840301305MaRDI QIDQ3219804zbMATH OpenOpenAlexFDO

Authors Ewa Orłowska

Publication date 1984

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19840301305

zbMATH Keywords

common-senseknowledge representationmodal logicnondeterminismreasoningreasoning about vague or non-deterministic knowledgevagueness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Modal logics for knowledge representation systems
• A hierarchy of modal logics with relative accessibility relations
• scientific article; zbMATH DE number 4114591
• A modal logic for non-deterministic information systems
• Kripke semantics for knowledge representation logics

Cited in

(32)

• Twofold fuzzy sets and rough sets - some issues in knowledge representation
• Modal logics for knowledge representation systems
• Modal logics in the theory of relational databases
• A logic for rough sets
• A logical approach to interpolation based on similarity relations
• A duality between Pawlak's knowledge representation systems and bi-consequence systems
• Gradable logical values for knowledge representation
• Duality for normal lattice expansions and sorted residuated frames with relations
• A modal logic for non-deterministic information systems
• scientific article; zbMATH DE number 4133526 (Why is no real title available?)
• Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
• The use of modal default reasoning in information systems
• scientific article; zbMATH DE number 3934437 (Why is no real title available?)
• scientific article; zbMATH DE number 4058923 (Why is no real title available?)
• scientific article; zbMATH DE number 33719 (Why is no real title available?)
• scientific article; zbMATH DE number 125988 (Why is no real title available?)
• scientific article; zbMATH DE number 1222488 (Why is no real title available?)
• scientific article; zbMATH DE number 1269575 (Why is no real title available?)
• scientific article; zbMATH DE number 1303446 (Why is no real title available?)
• scientific article; zbMATH DE number 1343459 (Why is no real title available?)
• scientific article; zbMATH DE number 1090100 (Why is no real title available?)
• scientific article; zbMATH DE number 1936763 (Why is no real title available?)
• Logics of Complementarity in Information Systems
• A hierarchy of modal logics with relative accessibility relations
• Open world models: a view from rough set theory
• scientific article; zbMATH DE number 4114591 (Why is no real title available?)
• scientific article; zbMATH DE number 6131418 (Why is no real title available?)
• A logic for reasoning about ambiguity
• scientific article; zbMATH DE number 1420890 (Why is no real title available?)
• scientific article; zbMATH DE number 2213631 (Why is no real title available?)
• Artificial Intelligence: Methodology, Systems, and Applications
• About the complete axiomatization of dynamic extensions of arrow logic

This page was built for publication: MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS

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