Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studies in Logic, Grammar and Rhetoric

Authors help

  1. 1 Surowik D.

Years help

  1. 1 2015

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  algorithmic knowledge
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Logic of Algorithmic Knowledge

100%
Surowik D.
Studies in Logic, Grammar and Rhetoric
|
2015
|
vol. 42
|
issue 1
163-172
EN
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.