Undecidability and temporal logic: some landmarks from Turing to the present

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

Standard

Undecidability and temporal logic: some landmarks from Turing to the present. / Goranko, Valentin.

2012 19th International Symposium on Temporal Representation and Reasoning (TIME). 2012. p. 3-4.

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

Harvard

Goranko, V 2012, 'Undecidability and temporal logic: some landmarks from Turing to the present'. in 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). pp. 3-4., 10.1109/TIME.2012.26

APA

Goranko, V. (2012). Undecidability and temporal logic: some landmarks from Turing to the present. In 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). (pp. 3-4). 10.1109/TIME.2012.26

CBE

Goranko V. 2012. Undecidability and temporal logic: some landmarks from Turing to the present. In 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). pp. 3-4. Available from: 10.1109/TIME.2012.26

MLA

Goranko, Valentin "Undecidability and temporal logic: some landmarks from Turing to the present". 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). 2012. 3-4. Available: 10.1109/TIME.2012.26

Vancouver

Goranko V. Undecidability and temporal logic: some landmarks from Turing to the present. In 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). 2012. p. 3-4. Available from: 10.1109/TIME.2012.26

Author

Goranko, Valentin / Undecidability and temporal logic: some landmarks from Turing to the present.

2012 19th International Symposium on Temporal Representation and Reasoning (TIME). 2012. p. 3-4.

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

Bibtex

@inbook{5d95b7b9c3af47a0812da978a3caed62,
title = "Undecidability and temporal logic: some landmarks from Turing to the present",
keywords = "Temporal logics, Undecidability, Halting problem",
author = "Valentin Goranko",
year = "2012",
doi = "10.1109/TIME.2012.26",
isbn = "978-1-4673-2659-9",
pages = "3-4",
booktitle = "2012 19th International Symposium on Temporal Representation and Reasoning (TIME)",

}

RIS

TY - GEN

T1 - Undecidability and temporal logic: some landmarks from Turing to the present

A1 - Goranko,Valentin

AU - Goranko,Valentin

PY - 2012

Y1 - 2012

N2 - This is a selective survey and discussion of some of the landmark undecidability results in temporal logic, beginning with Turing's undecidability of the Halting problem which, in retrospect, can be regarded as the historically first undecidability result for a suitable temporal logic over configuration graphs of Turing machines. I will discuss some of the natural habitats of undecidable temporal logics, such as first-order, interval-based and real time temporal logics, as well as some extensions that often lead to undecidability, such as two-dimensional temporal logics and temporal-epistemic logics.

AB - This is a selective survey and discussion of some of the landmark undecidability results in temporal logic, beginning with Turing's undecidability of the Halting problem which, in retrospect, can be regarded as the historically first undecidability result for a suitable temporal logic over configuration graphs of Turing machines. I will discuss some of the natural habitats of undecidable temporal logics, such as first-order, interval-based and real time temporal logics, as well as some extensions that often lead to undecidability, such as two-dimensional temporal logics and temporal-epistemic logics.

KW - Temporal logics

KW - Undecidability

KW - Halting problem

U2 - 10.1109/TIME.2012.26

DO - 10.1109/TIME.2012.26

SN - 978-1-4673-2659-9

BT - 2012 19th International Symposium on Temporal Representation and Reasoning (TIME)

T2 - 2012 19th International Symposium on Temporal Representation and Reasoning (TIME)

SP - 3

EP - 4

ER -