Expressive power of temporal logics

Alexander Rabinovich*

*Corresponding author for this work

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

Abstract

The objectives of this paper is to survey classical and recent expressive completeness results and to provide some external yardsticks by which the expressive power of temporal logics can be measured.

Original languageEnglish
Title of host publicationCONCUR 2002, Concurrency Theory - 13th International Conference, Proceedings
EditorsLubos Brim, Mojmir Kretinsky, Antonin Kucera, Petr Jancar
PublisherSpringer Verlag
Pages57-76
Number of pages20
ISBN (Print)3540440437, 9783540440437
DOIs
StatePublished - 2002
Event13th International Conference on Concurrency Theory, CONCUR 2002 - Brno, Czech Republic
Duration: 20 Aug 200223 Aug 2002

Publication series

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

Conference

Conference13th International Conference on Concurrency Theory, CONCUR 2002
Country/TerritoryCzech Republic
CityBrno
Period20/08/0223/08/02

Fingerprint

Dive into the research topics of 'Expressive power of temporal logics'. Together they form a unique fingerprint.

Cite this