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
Type  article
Stage   accepted
Date   2018-03-05
Version   v2
Language   en ?
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 018e0372-1283-40ed-8abc-01bb7435c38d
API URL: JSON