𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Extending Propositional Dynamic Logic for Petri Nets

✍ Scribed by Lopes, Bruno; Benevides, Mario; Haeusler, Edward Hermann

Book ID
125803398
Publisher
Elsevier Science
Year
2014
Tongue
English
Weight
289 KB
Volume
305
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Dynamic Slicing Techniques for Petri Net
Dynamic Slicing Techniques for Petri Nets
✍ M. Llorens; J. Oliver; J. Silva; S. Tamarit; G. Vidal πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 357 KB
A Petri net model for probabilistic logi
A Petri net model for probabilistic logic
✍ Chuang Lin; Y. T. Wu πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 815 KB

In this article we investigate the use of Petri nets for the representation of possible worlds in probabilistic logic. We propose a method to generate possible worlds based upon the reachability tree of the Petri net model. The number of columns in the matrix of possible worlds grows exponentially w

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