Many-dimensional arrow structures: arrow logics II
Arrow logic and multi-modal logic
A class of decidable information logics
MFCS '96 Selected papers from the 21st symposium on Mathematical foundations of computer science
Modal logic
Incomplete Information: Rough Set Analysis
Incomplete Information: Rough Set Analysis
Incomplete Information: Structure, Inference, Complexity
Incomplete Information: Structure, Inference, Complexity
A Modal Theory of Arrows. Arrow Logics I
JELIA '92 Proceedings of the European Workshop on Logics in AI
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
The Nondeterministic Information Logic NIL is PSPACE-complete
Fundamenta Informaticae
Hi-index | 0.00 |
We dedicate this paper to the memory of Zdislaw Pawlak, the founder of rough sets methodology in computer science. A great deal of our scientific work was motivated and influenced by Pawlak's ideas.