Logic of Algorithmic Knowledge

Studies in Logic, Grammar and Rhetoric 42 (1):163-172 (2015)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/slgr-2015-0035

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ternary Operations as Primitive Notions for Constructive Plane Geometry V.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (4):455-477.
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.
On combinations of propositional dynamic logic and doxastic modal logics.Renate A. Schmidt & Dmitry Tishkovsky - 2007 - Journal of Logic, Language and Information 17 (1):109-129.
Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.
Formalization of Propositional Linear Temporal Logic in the Mizar System.Mariusz Giero - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).
Discrete Linear Temporal Logic with Knowing-Value Operator.Kaiyang Lin - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 141-148.
Temporal-epistemic logic.Dariusz Surowik - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).
A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons.Meghdad Ghari - 2023 - Artificial Intelligence and Law 31:1-43.
Finite identification from the viewpoint of epistemic update.Cédric Dégremont & Nina Gierasimczuk - 2011 - Information And Computation 209 (3):383-396.
Model checking distributed temporal logic.Francisco Dionísio, Jaime Ramos, Fernando Subtil & Luca Viganò - forthcoming - Logic Journal of the IGPL.

Analytics

Added to PP
2018-03-10

Downloads
16 (#1,196,523)

6 months
9 (#497,927)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references