Kripke semantics for knowledge representation logics
From MaRDI portal
Publication:2277447
DOI10.1007/BF00935602zbMATH Open0726.03023MaRDI QIDQ2277447FDOQ2277447
Authors: Ewa Orłowska
Publication date: 1990
Published in: Studia Logica (Search for Journal in Brave)
Recommendations
Other nonclassical logic (03B60) Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Other applications of logic (03B80)
Cites Work
- Rough sets
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal logics for knowledge representation systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representation of nondeterministic information
- Information systems theoretical foundations
- Title not available (Why is that?)
- Logic of nondeterministic information
- DAL -- a logic for data analysis
- Application of modal logic to programming
- Applying modal logic
- Title not available (Why is that?)
- The Second Dual of the Space of Continuous Functions. IV
Cited In (51)
- Rough Sets: From Rudiments to Challenges
- On the rough consistency measures of logic theories and approximate reasoning in rough logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Altenatives to Kripke semantics for epistemic logic
- Title not available (Why is that?)
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
- Title not available (Why is that?)
- Semantic characterization of Kracht formulas
- Rudiments of rough sets
- Hyper arrow logic with indiscernibility and complementarity
- Logics from Galois connections
- About the complete axiomatization of dynamic extensions of arrow logic
- Bibliography of Ewa Orłowska
- Dynamic maintenance of rough approximations in multi-source hybrid information systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Logic for Complete Information Systems
- Title not available (Why is that?)
- Hyper arrow logic with indiscernibility and complementarity
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- A Formal Study of a Generalized Rough Set Model Based on Relative Approximations
- \(F\)-\(K\) system of knowledge representation
- A duality between Pawlak's knowledge representation systems and bi-consequence systems
- Relational interpretations of neighborhood operators and rough set approximation operators
- Reasoning within expressive fuzzy rough description logics
- MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
- Title not available (Why is that?)
- Structures for epistemic logic
- Formal reasoning in preference-based multiple-source rough set model
- On open-set lattices and some of their applications in semantics
- A logic for multiple-source approximation systems with distributed knowledge base
- Constructive and algebraic methods of the theory of rough sets
- Kripke Semantics for Basic Sequent Systems
- A formal study of a generalized rough set model based on subset approximation structure
- Rough set models in multigranulation spaces
- Title not available (Why is that?)
- A study of modal logic with semantics based on rough set theory
- Truth degrees theory and approximate reasoning in 3-valued propositional pre-rough logic
- Modal logics with relative accessibility relations
- Neighborhood operator systems and approximations
- The modal logic of cluster-decomposable Kripke interpretations
- Formal reasoning with rough sets in multiple-source approximation systems
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- Title not available (Why is that?)
- Parametrized modal logic. II: The unidimensional case
- A simple logic for reasoning about incomplete knowledge
This page was built for publication: Kripke semantics for knowledge representation logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2277447)