Quantitative temporal logic

Yoram Hirshfeld; Alexander Rabinovich

doi:10.1007/3-540-48168-0_13

Quantitative temporal logic

Yoram Hirshfeld, Alexander Rabinovich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

29 Scopus citations

Abstract

We define a quantitative Temporal Logic that is based on a simple modality within the framework of Monadic Predicate Logic. Its canonical model is the real line (and not an w-sequence of some type). We prove its decidability using general theorems from Logic (and not Automata theory). We show that it is as expressive as any alternative suggested in the literature.

Original language	English
Title of host publication	Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings
Editors	Jörg Flum, Mario Rodriguez-Artalejo
Publisher	Springer Verlag
Pages	172-187
Number of pages	16
ISBN (Print)	3540665366, 9783540665366
DOIs	https://doi.org/10.1007/3-540-48168-0_13
State	Published - 1999
Event	13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999 - Madrid, Spain Duration: 20 Sep 1999 → 25 Sep 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1683
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999
Country/Territory	Spain
City	Madrid
Period	20/09/99 → 25/09/99

Access to Document

10.1007/3-540-48168-0_13

Cite this

Hirshfeld, Y., & Rabinovich, A. (1999). Quantitative temporal logic. In J. Flum, & M. Rodriguez-Artalejo (Eds.), Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings (pp. 172-187). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1683). Springer Verlag. https://doi.org/10.1007/3-540-48168-0_13

Hirshfeld, Yoram ; Rabinovich, Alexander. / Quantitative temporal logic. Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. editor / Jörg Flum ; Mario Rodriguez-Artalejo. Springer Verlag, 1999. pp. 172-187 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c215c360ddeb4b93a47dd5486dc4ada6,

title = "Quantitative temporal logic",

abstract = "We define a quantitative Temporal Logic that is based on a simple modality within the framework of Monadic Predicate Logic. Its canonical model is the real line (and not an w-sequence of some type). We prove its decidability using general theorems from Logic (and not Automata theory). We show that it is as expressive as any alternative suggested in the literature.",

author = "Yoram Hirshfeld and Alexander Rabinovich",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999 ; Conference date: 20-09-1999 Through 25-09-1999",

year = "1999",

doi = "10.1007/3-540-48168-0_13",

language = "אנגלית",

isbn = "3540665366",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "172--187",

editor = "J{\"o}rg Flum and Mario Rodriguez-Artalejo",

booktitle = "Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings",

}

Hirshfeld, Y & Rabinovich, A 1999, Quantitative temporal logic. in J Flum & M Rodriguez-Artalejo (eds), Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1683, Springer Verlag, pp. 172-187, 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999, Madrid, Spain, 20/09/99. https://doi.org/10.1007/3-540-48168-0_13

Quantitative temporal logic. / Hirshfeld, Yoram ; Rabinovich, Alexander.
Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. ed. / Jörg Flum; Mario Rodriguez-Artalejo. Springer Verlag, 1999. p. 172-187 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1683).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Quantitative temporal logic

AU - Hirshfeld, Yoram

AU - Rabinovich, Alexander

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.

PY - 1999

Y1 - 1999

N2 - We define a quantitative Temporal Logic that is based on a simple modality within the framework of Monadic Predicate Logic. Its canonical model is the real line (and not an w-sequence of some type). We prove its decidability using general theorems from Logic (and not Automata theory). We show that it is as expressive as any alternative suggested in the literature.

AB - We define a quantitative Temporal Logic that is based on a simple modality within the framework of Monadic Predicate Logic. Its canonical model is the real line (and not an w-sequence of some type). We prove its decidability using general theorems from Logic (and not Automata theory). We show that it is as expressive as any alternative suggested in the literature.

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

U2 - 10.1007/3-540-48168-0_13

DO - 10.1007/3-540-48168-0_13

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84956863045

SN - 3540665366

SN - 9783540665366

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 172

EP - 187

BT - Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings

A2 - Flum, Jörg

A2 - Rodriguez-Artalejo, Mario

PB - Springer Verlag

T2 - 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999

Y2 - 20 September 1999 through 25 September 1999

ER -

Hirshfeld Y , Rabinovich A. Quantitative temporal logic. In Flum J, Rodriguez-Artalejo M, editors, Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. Springer Verlag. 1999. p. 172-187. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-48168-0_13

Quantitative temporal logic

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this