Logic For Reasoning About Knowledge

DOI10.1002/malq.19890350612zbMath0711.03008OpenAlexW2001117289MaRDI QIDQ3495344

Ewa S. 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

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

Related Items (12)

A hierarchy of modal logics with relative accessibility relations ⋮ Covering-based rough sets and modal logics. I. ⋮ Rudiments of rough sets ⋮ A class of decidable information logics ⋮ Information algebras ⋮ Interface of Rough Set Systems and Modal Logics: A Survey ⋮ A logic for rough sets ⋮ Granular Sets – Foundations and Case Study of Tolerance Spaces ⋮ Rough Sets: From Rudiments to Challenges ⋮ AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS ⋮ The Modal Multilogic of Geometry ⋮ On the rough consistency measures of logic theories and approximate reasoning in rough logic

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