<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

Online veröffentlicht: 26. Nov. 2015

Seitenbereich: 163 - 172

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

Schlüsselwörter
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

Online veröffentlicht: 26. Nov. 2015

Seitenbereich: 163 - 172

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

Schlüsselwörtertime, 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.

Schlüsselwörter
time, algorithmic knowledge, epistemic logic, temporal logic