Logic For Reasoning About Knowledge

Bulletin of the Section of Logic 16 (1):26-36 (1987)

Ewa Orlowska
Institute of Telecommunications and Information Technology
One of the important issues in research on knowledge based computer systems is development of methods for reasoning about knowledge. In the present paper semantics for knowledge operators is introduced. The underlying logic is developed with epistemic operators relative to indiscernibility. Facts about knowledge expressible in the logic are discussed, in particular common knowledge and joint knowledge of n group of agents. Some paradoxes of epistemic logic are shown to be eliminated in the given system. A formal logical analysis of reasoning about knowledge is a subject of investigations both in logic and computer science, and several epistemic systems have been proposed to formalize the operator ‘an agent knows’. In the present paper we propose a formalization based on a semantic treatment of knowledge within the framework of rough set theory. The inspiration for the underlying epistemic logic came from the analysis of knowledge transfer in distributed systems developed in Orlowska and Sanders and from the author’s earlier work on indiscernibility and relative accessibility semantics.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,634
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
Free Quantified Epistemic Logics.Giovanna Corsi & Eugenio Orlandelli - 2013 - Studia Logica 101 (6):1159-1183.
Logic of Confidence.Pavel Naumov & Jia Tao - 2015 - Synthese 192 (6):1821-1838.
A Logic with Relative Knowledge Operators.Stéphane Demri - 1999 - Journal of Logic, Language and Information 8 (2):167-185.
Updating Knowledge Using Subsets.Konstantinos Georgatos - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):427-441.
Proof Theory of Epistemic Logic of Programs.Paolo Maffezioli & Alberto Naibo - 2014 - Logic and Logical Philosophy 23 (3):301--328.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Epistemic Logic and Epistemology.Wesley H. Holliday - forthcoming - In Sven Ove Hansson Vincent F. Hendricks (ed.), Handbook of Formal Philosophy. Springer.


Added to PP index

Total views

Recent downloads (6 months)

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes