Expressive completeness of temporal logic of action

Alexander Rabinovich*

*Corresponding author for this work

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

8 Scopus citations

Abstract

The paper compares the expressive power of monadic second order logic of order, a fundamental formalism in mathematical logic and theory of computation, with that of a fragment of Temporal Logic of Actions introduced by Lamport for specifying the behavior of concurrent systems.

Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science 1998 - 23rd International Symposium, MFCS 1998, Proceedings
EditorsLubos Brim, Jozef Gruska, Jiri Zlatuska
PublisherSpringer Verlag
Pages229-238
Number of pages10
ISBN (Print)3540648275, 9783540648277
DOIs
StatePublished - 1998
Event23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS 1998 - Brno, Czech Republic
Duration: 24 Aug 199828 Aug 1998

Publication series

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

Conference

Conference23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS 1998
Country/TerritoryCzech Republic
CityBrno
Period24/08/9828/08/98

Fingerprint

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

Cite this