Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses

Authors

  • Levan Uridia Researcher

DOI:

https://doi.org/10.4114/intartif.vol23iss65pp1-18

Keywords:

Knowledge representation and reasosning, epistemic logic, Kripke Completeness, Topological Semantics

Abstract

We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions. The modal operator can be described as relative necessity and the resulting logic turns out to be a variant of Chellas’ Conditional Logic. We present an axiomatization of the logic and its extension with the common knowledge operator and distributed knowledge operator. We show that the logics are decidable, complete w.r.t. Kripke as well as topological structures. The topological completeness results are obtained by utilizing the Alexandroff connection between preorders and Alexandroff spaces.

Downloads

Download data is not yet available.

Published

2020-04-01

How to Cite

Uridia, L. (2020). Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses. Inteligencia Artificial, 23(65), 1-18. https://doi.org/10.4114/intartif.vol23iss65pp1-18