<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

Publié en ligne: 26 nov. 2015

Pages: 163 - 172

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

Mots clés
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

Publié en ligne: 26 nov. 2015

Pages: 163 - 172

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

Mots cléstime, 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.

Mots clés
time, algorithmic knowledge, epistemic logic, temporal logic