The following pages link to (Q4729757):
Displaying 15 items.
- Multimodal epistemic Łukasiewicz logics with application in immune system (Q521734) (← links)
- Modal logics for knowledge representation systems (Q1183584) (← links)
- A logico-algebraic approach to the model theory of knowledge (Q1263299) (← links)
- A duality between Pawlak's knowledge representation systems and bi-consequence systems (Q1896761) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- On the rough consistency measures of logic theories and approximate reasoning in rough logic (Q2353692) (← links)
- (Q2767185) (← links)
- MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS (Q3219804) (← links)
- A modal logic for similarity relations in Pawlak knowledge representation systems (Q3982060) (← links)
- (Q4027734) (← links)
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)
- Information algebras (Q5096378) (← links)
- On Linear Logic of Knowledge and Time (Q5214743) (← links)
- (Q5711863) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902049) (← links)
