Display Calculi for Logics with Relative Accessibility Relations
Journal of Logic, Language and Information
On modal and fuzzy decision logics based on rough set theory
Fundamenta Informaticae
Theoretical Computer Science
A logical toolbox for knowledge approximation
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Computational Complexity of Multimodal Logics Based on Rough Sets
Fundamenta Informaticae
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
Formal reasoning with rough sets in multiple-source approximation systems
International Journal of Approximate Reasoning
Logics from Galois connections
International Journal of Approximate Reasoning
PDL with intersection and converse is 2EXP-complete
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Propositional logics from rough set theory
Transactions on rough sets VI
A study of multiple-source approximation systems
Transactions on rough sets XII
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
On Modal and Fuzzy Decision Logics Based on Rough Set Theory
Fundamenta Informaticae
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
The Nondeterministic Information Logic NIL is PSPACE-complete
Fundamenta Informaticae
Computational Complexity of Multimodal Logics \newline Based on Rough Sets
Fundamenta Informaticae
First-Order Rough Logic I: Approximate Reasoning Via Rough Sets
Fundamenta Informaticae
| Hi-index | 5.23 |