𝔖 Bobbio Scriptorium
✦   LIBER   ✦

SA/PDL generator

Book ID
103968163
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
110 KB
Volume
29
Category
Article
ISSN
0950-5849

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

PMD & PDL
PMD & PDL
✍ Nicolas Gisin πŸ“‚ Article πŸ“… 2004 πŸ› Springer-Verlag 🌐 English βš– 224 KB
A probabilistic PDL
A probabilistic PDL
✍ Dexter Kozen πŸ“‚ Article πŸ“… 1985 πŸ› Elsevier Science 🌐 English βš– 861 KB
So werden Sie PDL
So werden Sie PDL
✍ Ute Burtke πŸ“‚ Article πŸ“… 2008 πŸ› Urban and Vogel βš– 580 KB
Eliminating β€œconverse” from converse PDL
Eliminating β€œconverse” from converse PDL
✍ Giuseppe Giacomo πŸ“‚ Article πŸ“… 1996 πŸ› Springer Netherlands 🌐 English βš– 861 KB

In this paper we show that it is possible to eliminate the "converse" operator from the propositional dynamic logic CPDL (Converse PDL), without compromising the soundness and completeness of inference for it. Specifically we present an encoding of CPDL formulae into PDL that eliminates the converse

Preference-based deontic logic (PDL)
Preference-based deontic logic (PDL)
✍ Sven Ove Hansson πŸ“‚ Article πŸ“… 1990 πŸ› Springer Netherlands 🌐 English βš– 901 KB