<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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.</p></abstract>

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.

Logic of Algorithmic Knowledge

Studies in Logic, Grammar and Rhetoric

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

{"article-title":"Logic of Algorithmic Knowledge"}

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

Logic of Algorithmic Knowledge

Published Online: Nov 26, 2015

Page range: 163 - 172

DOI: https://doi.org/10.1515/slgr-2015-0035

Keywords
time, algorithmic knowledge, epistemic logic, temporal logic

© Studies in Logic, Grammar and Rhetoric

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Logic of Algorithmic Knowledge

Published Online: Nov 26, 2015

Page range: 163 - 172

DOI: https://doi.org/10.1515/slgr-2015-0035

Keywordstime, algorithmic knowledge, epistemic logic, temporal logic

© Studies in Logic, Grammar and Rhetoric

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Keywords
time, algorithmic knowledge, epistemic logic, temporal logic