𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Propositional Dynamic Logic with Qualitative Probabilities

✍ Scribed by Dimitar P. Guelev

Book ID
111535285
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
217 KB
Volume
28
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Model checking propositional dynamic log
Model checking propositional dynamic logic with all extras
✍ Martin Lange πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 116 KB

This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context-free programs. The algorithm shows that the model checking problem for PDL remains PTIME-complete in the presence of all

CUT ELIMINATION FOR PROPOSITIONAL DYNAMI
CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
✍ Robert A. Bull πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 764 KB

## Abstract The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without\*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this ca