Kripke semantics for knowledge representation logics
From MaRDI portal
Publication:2277447
DOI10.1007/BF00935602zbMath0726.03023MaRDI QIDQ2277447
Publication date: 1990
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)
Related Items (30)
Logics from Galois connections ⋮ A duality between Pawlak's knowledge representation systems and bi-consequence systems ⋮ A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic ⋮ Rudiments of rough sets ⋮ Truth degrees theory and approximate reasoning in 3-valued propositional pre-rough logic ⋮ Formal reasoning in preference-based multiple-source rough set model ⋮ A Formal Study of a Generalized Rough Set Model Based on Relative Approximations ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ Modal logics with relative accessibility relations ⋮ Rough set models in multigranulation spaces ⋮ Formal reasoning with rough sets in multiple-source approximation systems ⋮ Dynamic maintenance of rough approximations in multi-source hybrid information systems ⋮ A study of modal logic with semantics based on rough set theory ⋮ Parametrized modal logic. II: The unidimensional case ⋮ Bibliography of Ewa Orłowska ⋮ About the complete axiomatization of dynamic extensions of arrow logic ⋮ A Logic for Complete Information Systems ⋮ Lattices with Interior and Closure Operators and Abstract Approximation Spaces ⋮ Relational interpretations of neighborhood operators and rough set approximation operators ⋮ A logic for multiple-source approximation systems with distributed knowledge base ⋮ A formal study of a generalized rough set model based on subset approximation structure ⋮ Hyper arrow logic with indiscernibility and complementarity ⋮ Hyper arrow logic with indiscernibility and complementarity ⋮ Reasoning within expressive fuzzy rough description logics ⋮ Rough Sets: From Rudiments to Challenges ⋮ Constructive and algebraic methods of the theory of rough sets ⋮ AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS ⋮ Neighborhood operator systems and approximations ⋮ On the rough consistency measures of logic theories and approximate reasoning in rough logic ⋮ A simple logic for reasoning about incomplete knowledge
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Representation of nondeterministic information
- DAL -- a logic for data analysis
- Logic of nondeterministic information
- Application of modal logic to programming
- Applying modal logic
- Information systems theoretical foundations
- Modal logics for knowledge representation systems
- Rough sets
- The Second Dual of the Space of Continuous Functions. IV
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
This page was built for publication: Kripke semantics for knowledge representation logics
