Kripke semantics for knowledge representation logics
From MaRDI portal
Publication:2277447
The author shows how Kripke structures are determined by information systems, which then enables us to provide modal logics for knowledge representation in a natural way. She discusses the axiomatization of logics thus defined and extends the Kripke modeling in order to deal with temporal aspects of information or to give reasonings about objects and their properties.
Recommendations
Cites work
- Application of modal logic to programming
- Applying modal logic
- DAL -- a logic for data analysis
- scientific article; zbMATH DE number 3880694 (Why is no real title available?)
- scientific article; zbMATH DE number 4045244 (Why is no real title available?)
- scientific article; zbMATH DE number 4046636 (Why is no real title available?)
- scientific article; zbMATH DE number 4060788 (Why is no real title available?)
- scientific article; zbMATH DE number 3461905 (Why is no real title available?)
- scientific article; zbMATH DE number 3086346 (Why is no real title available?)
- Information systems theoretical foundations
- Logic of nondeterministic information
- Modal logics for knowledge representation systems
- Representation of nondeterministic information
- Rough sets
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- The Second Dual of the Space of Continuous Functions. IV
Cited in
(59)- Reasoning within expressive fuzzy rough description logics
- Constructive and algebraic methods of the theory of rough sets
- Formal reasoning in preference-based multiple-source rough set model
- Rough set models in multigranulation spaces
- Relational interpretations of neighborhood operators and rough set approximation operators
- Neighborhood operator systems and approximations
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- A duality between Pawlak's knowledge representation systems and bi-consequence systems
- Dynamic maintenance of rough approximations in multi-source hybrid information systems
- A formal study of a generalized rough set model based on subset approximation structure
- On the rough consistency measures of logic theories and approximate reasoning in rough logic
- A simple logic for reasoning about incomplete knowledge
- Logics from Galois connections
- The modal logic of cluster-decomposable Kripke interpretations
- F-K system of knowledge representation
- scientific article; zbMATH DE number 1696783 (Why is no real title available?)
- Semantic characterization of Kracht formulas
- Kripke Semantics for Basic Sequent Systems
- scientific article; zbMATH DE number 4133526 (Why is no real title available?)
- On open-set lattices and some of their applications in semantics
- MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
- scientific article; zbMATH DE number 3876644 (Why is no real title available?)
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
- A Logic for Complete Information Systems
- Truth degrees theory and approximate reasoning in 3-valued propositional pre-rough logic
- scientific article; zbMATH DE number 4094860 (Why is no real title available?)
- scientific article; zbMATH DE number 53733 (Why is no real title available?)
- scientific article; zbMATH DE number 125988 (Why is no real title available?)
- scientific article; zbMATH DE number 125989 (Why is no real title available?)
- scientific article; zbMATH DE number 177255 (Why is no real title available?)
- scientific article; zbMATH DE number 1222115 (Why is no real title available?)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- scientific article; zbMATH DE number 2020137 (Why is no real title available?)
- scientific article; zbMATH DE number 1523418 (Why is no real title available?)
- scientific article; zbMATH DE number 1761425 (Why is no real title available?)
- Modal logics with relative accessibility relations
- scientific article; zbMATH DE number 1420890 (Why is no real title available?)
- Rough Sets: From Rudiments to Challenges
- Structures for epistemic logic
- Hyper arrow logic with indiscernibility and complementarity
- Hyper arrow logic with indiscernibility and complementarity
- A Formal Study of a Generalized Rough Set Model Based on Relative Approximations
- A study of modal logic with semantics based on rough set theory
- Parametrized modal logic. II: The unidimensional case
- Altenatives to Kripke semantics for epistemic logic
- Bibliography of Ewa Orłowska
- About the complete axiomatization of dynamic extensions of arrow logic
- Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization
- A formal study of a rough set model integrating relational and neighbourhood system approaches
- A semantics of basic modal language via a rough set framework
- A semantics for modal language using a rough set model based on subset approximation structure
- A semantics of the basic modal language based on a generalized rough set model
- Rough sets, modal logic and approximate reasoning
- Epistemic skills: reasoning about knowledge and oblivion
- A logic for multiple-source approximation systems with distributed knowledge base
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
- Rudiments of rough sets
- Formal reasoning with rough sets in multiple-source approximation systems
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)
