scientific article; zbMATH DE number 1810488

MaRDI QIDQ3148329zbMATH OpenFDO

Authors Philippe Balbiani, Dimiter Vakarelov

Publication date 25 July 2003

zbMATH Keywords

complementarity relationindiscernibility relationmultimodal logicPawlak information system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• scientific article; zbMATH DE number 1844515
• Logics of Complementarity in Information Systems
• scientific article; zbMATH DE number 3974344
• Hyper arrow logic with indiscernibility and complementarity

Cited in

(21)

• Temporal multi-valued logic with lost worlds in the past
• Many-valued multi-modal logics, satisfiability problem
• Branching time agents logics, satisfiability problem by rules in reduced form
• Covering-based rough sets and modal logics. I.
• Arrow logic with arbitrary intersections: applications to Pawlak's information systems
• A multi-modal logic for disagreement and exhaustiveness
• Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
• scientific article; zbMATH DE number 3936551 (Why is no real title available?)
• scientific article; zbMATH DE number 3986682 (Why is no real title available?)
• scientific article; zbMATH DE number 4049118 (Why is no real title available?)
• A multimodal logic for reasoning about complementarity
• Logics of Complementarity in Information Systems
• scientific article; zbMATH DE number 1844515 (Why is no real title available?)
• scientific article; zbMATH DE number 6131418 (Why is no real title available?)
• Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
• Rough Sets: From Rudiments to Challenges
• Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Hyper arrow logic with indiscernibility and complementarity
• A semantics of the basic modal language based on a generalized rough set model
• Rudiments of rough sets

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