A proof of Kamp's theorem

Alexander Rabinovich

doi:10.2168/lmcs-10(1:14)2014

A proof of Kamp's theorem

Alexander Rabinovich

School of Computer Science

Tel Aviv University

Research output: Contribution to journal › Article › peer-review

Abstract

We provide a simple proof of Kamp's theorem.

Original language	English
Journal	Logical Methods in Computer Science
Volume	10
Issue number	1
DOIs	https://doi.org/10.2168/lmcs-10(1:14)2014
State	Published - 18 Feb 2014

Keywords

Expressive completeness
Monadic logic
Temporal logic

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.2168/lmcs-10(1:14)2014

Cite this

@article{597b880ddd734c198e99ee6e6b85926e,

title = "A proof of Kamp's theorem",

abstract = "We provide a simple proof of Kamp's theorem.",

keywords = "Expressive completeness, Monadic logic, Temporal logic",

author = "Alexander Rabinovich",

year = "2014",

month = feb,

day = "18",

doi = "10.2168/lmcs-10(1:14)2014",

language = "الإنجليزيّة",

volume = "10",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Logical Methods in Computer Science",

number = "1",

}

TY - JOUR

T1 - A proof of Kamp's theorem

AU - Rabinovich, Alexander

PY - 2014/2/18

Y1 - 2014/2/18

N2 - We provide a simple proof of Kamp's theorem.

AB - We provide a simple proof of Kamp's theorem.

KW - Expressive completeness

KW - Monadic logic

KW - Temporal logic

UR - http://www.scopus.com/inward/record.url?scp=84894719132&partnerID=8YFLogxK

U2 - 10.2168/lmcs-10(1:14)2014

DO - 10.2168/lmcs-10(1:14)2014

M3 - مقالة

SN - 1860-5974

VL - 10

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 1

ER -

A proof of Kamp's theorem

Abstract

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this