Pages that link to "Item:Q2277447"
From MaRDI portal
The following pages link to Kripke semantics for knowledge representation logics (Q2277447):
Displaying 21 items.
- Truth degrees theory and approximate reasoning in 3-valued propositional pre-rough logic (Q364434) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- A logic for multiple-source approximation systems with distributed knowledge base (Q763469) (← links)
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic (Q859844) (← links)
- Rudiments of rough sets (Q867594) (← links)
- Formal reasoning with rough sets in multiple-source approximation systems (Q962650) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- Constructive and algebraic methods of the theory of rough sets (Q1298348) (← links)
- Formal reasoning in preference-based multiple-source rough set model (Q1671288) (← links)
- Rough set models in multigranulation spaces (Q1750429) (← links)
- Relational interpretations of neighborhood operators and rough set approximation operators (Q1818795) (← links)
- Neighborhood operator systems and approximations (Q1857104) (← links)
- A duality between Pawlak's knowledge representation systems and bi-consequence systems (Q1896761) (← links)
- Dynamic maintenance of rough approximations in multi-source hybrid information systems (Q2023264) (← links)
- A formal study of a generalized rough set model based on subset approximation structure (Q2069051) (← links)
- On the rough consistency measures of logic theories and approximate reasoning in rough logic (Q2353692) (← links)
- A simple logic for reasoning about incomplete knowledge (Q2353977) (← links)
- Logics from Galois connections (Q2379337) (← links)
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces (Q3393391) (← links)
- AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS (Q3427870) (← links)
- A Logic for Complete Information Systems (Q3638202) (← links)
