PPDL 1 (Revised version, June 1986) M.L. Tiomkin J.A. Makowsky Department of...  Home/Search
Context
Related
| cs.technion.ac.il/~janos/PUB...paper.ps 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: cs.technion.ac.il/~...cslogicpub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : This paper deals with various versions of finite propositional probabilistic dynamic logic. Besides the logics previously introduced in the literature [Fe, Ko79, Ko83] we present some natural variations and extensions of these logics. We also present another kind of probabilistic propositional dynamic logic with simple probabilistic estimations and "almost regular" program language. We investigate the (un)decidability of these logics and present a complete picture of decidability and... (Update)
Active bibliography (related documents): More All
0.6: Dynamic Logic - Harel, Kozen, Tiuryn (1984) (Correct)
0.4: Decidability and Expressiveness for First-Order Logics of.. - Abadi, Halpern (1991) (Correct)
0.4: An Analysis of First-Order Logics of Probability - Halpern (1990) (Correct)
Similar documents based on text: More All
0.1: Algebraic and Descriptive Complexity of Combinatorial . . . - Gathen, Makowsky (1997) (Correct)
0.1: Multiple WH-Extraction and Clitic Placement in Serbo-Croatian - Penn (1996) (Correct)
0.1: Generalized Thermography: Algorithms, Implementation.. - Müller, Berlekamp.. (1996) (Correct)
BibTeX entry: (Update)
@misc{ version-decidability,
author = "Revised Version",
title = "Decidability Questions for Finite Probabilistic Propositional Dynamic Logic",
url = "citeseer.ist.psu.edu/33935.html" }
Citations (may not include all citations):276 Finite Markov Chains (context) - Kemeny, Snell - 1960
195 Propositional Dynamic Logic of Regular Programs (context) - Fisher, Ladner - 1979
73 Introduction to Probabilistic Automata (context) - Paz - 1971
39 A Probabilistic PDL (context) - Kozen - 1985
9 A Probabilistic Dynamic Logic (context) - Feldman, Harel - 1982
4 Propositional Dynamic Logic of context-free programs (context) - Harel, Pnueli et al. - 1983
3 Probabilistic Programming Logics (context) - Feldman - 1984
2 Probabilistic propositional dynamic logic (context) - Tiomkin, Makowsky - 1983
1 A Decidable Propositional Probabilistic Logic (context) - Feldman - 1983
1 Correctness Analysis of Sequential Programs (context) - Sharir, Pnueli et al. - 1984
1 Propositional Dynamic Logic with Local Assignments (context) - Tiomkin, Makowsky - 1985
1 Technion - Israel Institute of Technology (context) - Tiomkin, propositional et al. - 1983
1 Probability Theory (context) - Neveu - 1964
1 Unpublished manuscript (context) - Gabbay - 1977
Documents on the same site (http://www.cs.technion.ac.il/~janos/PUB/cslogic-pub.html): More
The Expressive Power of Transitive Closure and 2-way.. - Bargury, Makowsky (1992) (Correct)
The Ehrenfeucht-Fraïssé Games for Transitive Closure - Calo, Makowsky (1992) (Correct)
Capturing Complexity Classes with Lindström Quantifiers - Makowsky (1994) (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