Turing Completeness of Finite, Epistemic Programs

Research output: Contribution to journal › Journal article › Research

Standard

Turing Completeness of Finite, Epistemic Programs. / Klein, Dominik; Rendsvig, Rasmus K.

In: arXiv.org, 21.06.2017.

Research output: Contribution to journal › Journal article › Research

Harvard

Klein, D & Rendsvig, RK 2017, 'Turing Completeness of Finite, Epistemic Programs', arXiv.org. <http://arxiv.org/pdf/1706.06845v1>

APA

Klein, D., & Rendsvig, R. K. (2017). Turing Completeness of Finite, Epistemic Programs. arXiv.org. http://arxiv.org/pdf/1706.06845v1

Vancouver

Klein D, Rendsvig RK. Turing Completeness of Finite, Epistemic Programs. arXiv.org. 2017 Jun 21.

Author

Klein, Dominik ; Rendsvig, Rasmus K. / Turing Completeness of Finite, Epistemic Programs. In: arXiv.org. 2017.

Bibtex

@article{e6e3bff0b45a41b8a5cca122a3d00856,
title = "Turing Completeness of Finite, Epistemic Programs",
abstract = " In this note, we show the class of finite, epistemic programs to be Turing complete. Epistemic programs is a widely used update mechanism used in epistemic logic, where it such are a special type of action models: One which does not contain postconditions. ",
keywords = "cs.FL, cs.LO",
author = "Dominik Klein and Rendsvig, {Rasmus K.}",
year = "2017",
month = jun,
day = "21",
language = "English",
journal = "arXiv.org",

}

RIS

TY - JOUR

T1 - Turing Completeness of Finite, Epistemic Programs

AU - Klein, Dominik

AU - Rendsvig, Rasmus K.

PY - 2017/6/21

Y1 - 2017/6/21

N2 - In this note, we show the class of finite, epistemic programs to be Turing complete. Epistemic programs is a widely used update mechanism used in epistemic logic, where it such are a special type of action models: One which does not contain postconditions.

AB - In this note, we show the class of finite, epistemic programs to be Turing complete. Epistemic programs is a widely used update mechanism used in epistemic logic, where it such are a special type of action models: One which does not contain postconditions.

KW - cs.FL

KW - cs.LO

M3 - Journal article

JO - arXiv.org

JF - arXiv.org

ER -

ID: 214014639