Kripke semantics for knowledge representation logics

DOI10.1007/BF00935602zbMath0726.03023MaRDI QIDQ2277447

Ewa S. Orłowska

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

information systemsKripke semanticsdata analysis logicmodal logics for knowledge representation

Mathematics Subject Classification ID

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

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 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