Logic of Algorithmic Knowledge

Studies in Logic, Grammar and Rhetoric

Surowik Dariusz¹ 

[1] University of Bialystok;

关键词: time;    algorithmic knowledge;    epistemic logic;    temporal logic;   

DOI  :  10.1515/slgr-2015-0035

来源: DOAJ

【 摘 要 】

In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.

【 授权许可】

Unknown