Quantitative temporal logic

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 languageEnglish
Title of host publicationComputer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings
EditorsJörg Flum, Mario Rodriguez-Artalejo
PublisherSpringer Verlag
Pages172-187
Number of pages16
ISBN (Print)3540665366, 9783540665366
DOIs
StatePublished - 1999
Event13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999 - Madrid, Spain
Duration: 20 Sep 199925 Sep 1999

Publication series

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

Conference

Conference13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999
Country/TerritorySpain
CityMadrid
Period20/09/9925/09/99

Fingerprint

Dive into the research topics of 'Quantitative temporal logic'. Together they form a unique fingerprint.

Cite this