Kripke semantics for knowledge representation logics
From MaRDI portal
Publication:2277447
Recommendations
Cites work
- 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?)
- Application of modal logic to programming
- Applying modal logic
- DAL -- a logic for data analysis
- 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
(51)- scientific article; zbMATH DE number 1523418 (Why is no real title available?)
- Logics from Galois connections
- A Logic for Complete Information Systems
- scientific article; zbMATH DE number 1696783 (Why is no real title available?)
- Rough Sets: From Rudiments to Challenges
- \(F\)-\(K\) system of knowledge representation
- Rough set models in multigranulation spaces
- A Formal Study of a Generalized Rough Set Model Based on Relative Approximations
- On the rough consistency measures of logic theories and approximate reasoning in rough logic
- MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
- scientific article; zbMATH DE number 3876644 (Why is no real title available?)
- On open-set lattices and some of their applications in semantics
- scientific article; zbMATH DE number 4133526 (Why is no real title available?)
- scientific article; zbMATH DE number 2020137 (Why is no real title available?)
- A logic for multiple-source approximation systems with distributed knowledge base
- Modal logics with relative accessibility relations
- A duality between Pawlak's knowledge representation systems and bi-consequence systems
- A study of modal logic with semantics based on rough set theory
- scientific article; zbMATH DE number 125989 (Why is no real title available?)
- Parametrized modal logic. II: The unidimensional case
- scientific article; zbMATH DE number 177255 (Why is no real title available?)
- Constructive and algebraic methods of the theory of rough sets
- A simple logic for reasoning about incomplete knowledge
- Altenatives to Kripke semantics for epistemic logic
- Rudiments of rough sets
- Kripke Semantics for Basic Sequent Systems
- Relational interpretations of neighborhood operators and rough set approximation operators
- Dynamic maintenance of rough approximations in multi-source hybrid information systems
- scientific article; zbMATH DE number 125988 (Why is no real title available?)
- The modal logic of cluster-decomposable Kripke interpretations
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
- Semantic characterization of Kracht formulas
- Truth degrees theory and approximate reasoning in 3-valued propositional pre-rough logic
- scientific article; zbMATH DE number 53733 (Why is no real title available?)
- Hyper arrow logic with indiscernibility and complementarity
- scientific article; zbMATH DE number 1420890 (Why is no real title available?)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- About the complete axiomatization of dynamic extensions of arrow logic
- Bibliography of Ewa Orłowska
- scientific article; zbMATH DE number 1761425 (Why is no real title available?)
- scientific article; zbMATH DE number 4094860 (Why is no real title available?)
- Formal reasoning with rough sets in multiple-source approximation systems
- A formal study of a generalized rough set model based on subset approximation structure
- Hyper arrow logic with indiscernibility and complementarity
- Structures for epistemic logic
- Reasoning within expressive fuzzy rough description logics
- Neighborhood operator systems and approximations
- Formal reasoning in preference-based multiple-source rough set model
- AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
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)
