✦ LIBER ✦

A probabilistic PDL

✍ Scribed by Dexter Kozen

Book ID: 103158577
Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 861 KB
Volume: 30
Category: Article
ISSN: 0022-0000
DOI: 10.1016/0022-0000(85)90012-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

PMD & PDL

✍ Nicolas Gisin 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 224 KB

SA/PDL generator

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 110 KB

So werden Sie PDL

✍ Ute Burtke 📂 Article 📅 2008 🏛 Urban and Vogel ⚖ 580 KB

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)

✍ Sven Ove Hansson 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 901 KB

Determinism and non-determinism in PDL

✍ Andreas Wilm 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 726 KB