Über diesen Artikel
Online veröffentlicht: 26. Nov. 2015
Seitenbereich: 163 - 172
DOI: https://doi.org/10.1515/slgr-2015-0035
Schlüsselwörter
© Studies in Logic, Grammar and Rhetoric
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
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.