AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS

DOI10.1142/S0218488500000071zbMath1113.03309MaRDI QIDQ3427870

Churn-Jung Liau

Publication date: 27 March 2007

Published in: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

zbMATH Keywords

modal logic; epistemic logic; rough set; rough quantifiers

Mathematics Subject Classification ID

03E72: Theory of fuzzy sets, etc.

03B45: Modal logic (including the logic of norms)

Related Items

GENUINE SETS, VARIOUS KINDS OF FUZZY SETS AND FUZZY ROUGH SETS, A logic for multiple-source approximation systems with distributed knowledge base, Formal reasoning with rough sets in multiple-source approximation systems, Multiple-Source Approximation Systems: Membership Functions and Indiscernibility

Cites Work

• An analysis of first-order logics of probability
• DAL -- a logic for data analysis
• Probabilistic logic
• On a KTB-modal fuzzy logic
• Variable precision rough set model
• Agreeing to disagree
• Possibilistic reasoning -- a mini-survey and uniform semantics
• Two views of the theory of rough sets in finite universes
• A modal account of similarity-based reasoning
• A logic for reasoning about probabilities
• A theoretical investigation into quantitative modal logic
• Kripke semantics for knowledge representation logics
• Modal Foundations for Predicate Logic
• Knowledge and common knowledge in a distributed environment
• Logic For Reasoning About Knowledge
• Quantifiers determined by partial orderings
• Many-Valued Modal Propositional Calculi
• An axiomatization of the logic with the rough quantifier
• A reduction of the theory of confirmation to the notions of distance and measure