Monotonic and Non-Monotonic Logics of Knowledge1

1991 ◽  
Vol 15 (3-4) ◽  
pp. 255-274
Author(s):  
Rohit Parikh
Keyword(s):  
Model Theory ◽  
Decision Procedures ◽  
Logic Of Knowledge

We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to McCarthy.

scholarly journals Topological reasoning and the logic of knowledge

1996 ◽  
Vol 78 (1-3) ◽  
pp. 73-110 ◽  
Author(s):  
Andrew Dabrowski ◽  
Lawrence S. Moss ◽  
Rohit Parikh
Keyword(s):  
Logic Of Knowledge ◽  
Topological Reasoning

An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK

2007 ◽  
Vol 15 (3) ◽  
pp. 239-254 ◽  
Author(s):  
E. Calardo ◽  
V. V. Rybakov
Keyword(s):  
Modal Logic ◽  
Linear Time ◽  
Logic Of Knowledge

A logic of knowledge based on abstract arguments

2021 ◽  
Author(s):  
Yì N Wáng ◽  
Xu Li
Keyword(s):  
Computational Complexity ◽  
Model Checking ◽  
True Belief ◽  
Logical Omniscience ◽  
Knowledge Based ◽  
Logic Of Knowledge ◽  
Multi Agent ◽  
Soundness And Completeness ◽  
Base Logic

Abstract We introduce a logic of knowledge in a framework in which knowledge is treated as a kind of belief. The framework is based on a standard KD45 characterization of belief, and the characterization of knowledge undergoes the classical tripartite analysis that knowledge is justified true belief, which has a natural link to the studies of logics of evidence and justification. The interpretation of knowledge avoids the unwanted properties of logical omniscience, independent of the choice of the base logic of belief. We axiomatize the logic, prove its soundness and completeness and study the computational complexity results of the model checking and satisfiability problems. We extend the logic to a multi-agent setting and introduce a variant in which belief is characterized in a weaker system to avoid the problem of logical omniscience.

Sign in / Sign up

Export Citation Format

Share Document