A multimodal logic for reasoning about complementarity

DOI10.1080/11663081.2000.10511000MaRDI QIDQ4443402zbMATH OpenOpenAlexFDO

Authors Beata Konikowska, Ivo Düntsch

Publication date 11 January 2004

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2000.10511000

zbMATH Keywords

complementarity relationsinformation system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Logics of Complementarity in Information Systems
• scientific article; zbMATH DE number 1810488
• A multi-modal logic for disagreement and exhaustiveness
• scientific article; zbMATH DE number 1114035
• scientific article; zbMATH DE number 1303619

Cites work

• A logic for reasoning about relative similarity
• A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
• scientific article; zbMATH DE number 3511625 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Proof methods for modal and intuitionistic logics
• Relational attribute systems
• Representation of vague information
• The foundations of mathematics. A study in the philosophy of science

Cited in

(7)

• Logic of multicomponent systems and a combinatorial model of causal relationships
• Rasiowa-Sikorski deduction systems in computer science applications.
• Covering-based rough sets and modal logics. I.
• Multimodal epistemic Łukasiewicz logics with application in immune system
• Three-valued logic for reasoning about covering-based rough sets
• scientific article; zbMATH DE number 972602 (Why is no real title available?)
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC

This page was built for publication: A multimodal logic for reasoning about complementarity

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