Monika Maidl  Home/Search
Context
Related
| dcs.ed.ac.uk/~moni...ltempquant.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.ed.ac.uk/~monika (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: For speci cation of properties of in nite-state systems, we propose a linear temporal logic that is extended by universal quanti cation. This logic can be model-checked by well-known algorithms for model checking of propositional linear temporal logic, as long as for the chosen language of state predicates, quanti cation is decidable 1 (Update)
Active bibliography (related documents): More All
0.5: On ω-decidable and decidable deductive procedures for a.. - Pliuskevicius (2000) (Correct)
0.3: Incompleteness of a First-order Gödel Logic and some.. - Baaz, Leitsch, Zach (1996) (Correct)
0.2: Distributed Versions of Linear Time Temporal Logic: A.. - Thiagarajan, Henriksen (1998) (Correct)
Similar documents based on text: More All
0.5: Optimizing Queries with Universal Quantification.. - Claussen, Kemper, .. (1997) (Correct)
0.4: Generating Referring Quantified Expressions - Shaw, McKeown (2000) (Correct)
0.3: Extensions to Logic Programming Motivated by the Construction of.. - Gunter (1991) (Correct)
BibTeX entry: (Update)
@misc{ maidl-temporal,
author = "Monika Maidl",
title = "Temporal Logic Extended by Universal Quantifiers",
url = "citeseer.ist.psu.edu/489706.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
539 The temporal logic of programs (context) - Pnueli - 1977
21 Symbolic model checking of innite state systems using Presbu.. (context) - Bultan, Gerber et al. - 1997
10 the interpretability of arithmetic in temporal logic (context) - oger, On - 1990
5 Decidability and incompleteness results for rst-order tempor.. (context) - Merz - 1992
5 The common fragment of CTL and LTL - Maidl - 2000
5 An automata-theoretic approach to linear time temporal logic (context) - Vardi, Wolper - 1986
2 Incompleteness of rst-order logic with until (context) - Szalas, Holenderski - 1988
1 System verication based on model checking (context) - Maidl - 2000
Documents on the same site (http://www.dcs.ed.ac.uk/~monika): More
A Unifying Model Checking Approach for Safety Properties of.. - Maidl (2001) (Correct)
Using Model Checking for System Verification - Maidl (2000) (Correct)
Localizing Model Checking by Analyzing Transitions - Maidl (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC