Logic For Reasoning About Knowledge

DOI10.1002/MALQ.19890350612MaRDI QIDQ3495344zbMATH OpenOpenAlexFDO

Authors Ewa Orłowska

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350612

zbMATH Keywords

indiscernibility relations associated with agentslogic with knowledge operators

Mathematics Subject Classification ID

Other applications of logic (03B80) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 4039863
• A logic with relative knowledge operators
• scientific article; zbMATH DE number 4043309
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
• scientific article; zbMATH DE number 1303629

Cited in

(27)

• A class of decidable information logics
• A logic with relative knowledge operators
• A logic for rough sets
• On the rough consistency measures of logic theories and approximate reasoning in rough logic
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
• A model for extracting a class of knowledge operators, logic disjunctions and logic alternatives from BDI agents
• Interface of rough set systems and modal logics: a survey
• scientific article; zbMATH DE number 5872216 (Why is no real title available?)
• Covering-based rough sets and modal logics. I.
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• A Logic of Knowing How
• Granular sets -- foundations and case study of tolerance spaces
• scientific article; zbMATH DE number 4039863 (Why is no real title available?)
• scientific article; zbMATH DE number 4043309 (Why is no real title available?)
• scientific article; zbMATH DE number 19156 (Why is no real title available?)
• The Modal Multilogic of Geometry
• scientific article; zbMATH DE number 1529821 (Why is no real title available?)
• A hierarchy of modal logics with relative accessibility relations
• scientific article; zbMATH DE number 847979 (Why is no real title available?)
• Information algebras
• Rough Sets: From Rudiments to Challenges
• scientific article; zbMATH DE number 5227716 (Why is no real title available?)
• scientific article; zbMATH DE number 3321236 (Why is no real title available?)
• \(\in_K\): a non-Fregean logic of explicit knowledge
• Logics for knowability
• Reasoning about reversal-bounded counter machines
• Rudiments of rough sets

This page was built for publication: Logic For Reasoning About Knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3495344)