Pages that link to "Item:Q1183584"

The following pages link to Modal logics for knowledge representation systems (Q1183584):

Displaying 31 items.

• Covering-based rough sets and modal logics. I. (Q313134) (← links)
• Multimodal epistemic Łukasiewicz logics with application in immune system (Q521734) (← links)
• A logic for multiple-source approximation systems with distributed knowledge base (Q763469) (← links)
• Rudiments of rough sets (Q867594) (← links)
• Multi-layer logic - a predicate logic including data structure as knowledge representation language (Q1097720) (← links)
• A class of decidable information logics (Q1128479) (← links)
• A logico-algebraic approach to the model theory of knowledge (Q1263299) (← links)
• A basic system of congruential-to-monotone bimodal logic and two of its extensions (Q1374212) (← links)
• In search of a ``true'' logic of knowledge: The nonmonotonic perspective (Q1855242) (← links)
• Gradable logical values for knowledge representation (Q1977925) (← links)
• Game semantics for constructive modal logic (Q2142094) (← links)
• Kripke semantics for knowledge representation logics (Q2277447) (← links)
• An update logic for information systems (Q2353689) (← links)
• Logics from Galois connections (Q2379337) (← links)
• The modal logic of cluster-decomposable Kripke interpretations (Q2425352) (← links)
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory (Q2663553) (← 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)
• A hierarchy of modal logics with relative accessibility relations (Q4531580) (← links)
• Mixed algebras and their logics (Q4586236) (← links)
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)
• (Q4729757) (← links)
• Rough Sets: From Rudiments to Challenges (Q5245176) (← links)
• (Q5711863) (← links)
• Logics for Temporal Information Systems in Rough Set Theory (Q5875942) (← links)
• Theory and Applications of Relational Structures as Knowledge Instruments (Q5902049) (← links)
• On some generalization of rough sets (Q6064262) (← links)
• Canonicity of proofs in constructive modal logic (Q6541161) (← links)
• Parametrized modal logic. II: The unidimensional case (Q6550519) (← links)