๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Propositional dynamic logic with local assignment

โœ Scribed by M.L. Tiomkin; J.A. Makowsky

Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
926 KB
Volume
36
Category
Article
ISSN
0304-3975

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