BibTeX
CSL-JSON
MLA
Harvard
A Proof of Stavi's Theorem
release_7tlsnb3vonaataq5gq2eqytjqa
by
Alexander Rabinovich
Released
as a article
.
2018
Abstract
Kamp's theorem established the expressive equivalence of the temporal logic
with Until and Since and the First-Order Monadic Logic of Order (FOMLO) over
the Dedekind-complete time flows. However, this temporal logic is not
expressively complete for FOMLO over the rationals. Stavi introduced two
additional modalities and proved that the temporal logic with Until, Since and
Stavi's modalities is expressively equivalent to FOMLO over all linear orders.
We present a simple proof of Stavi's theorem.
In text/plain
format
Archived Files and Locations
application/pdf 458.8 kB
file_crsk34reove5tm22mvh7ucda7m
|
arxiv.org (repository) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar