𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Eliminating “converse” from converse PDL

✍ Scribed by Giuseppe Giacomo

Publisher
Springer Netherlands
Year
1996
Tongue
English
Weight
861 KB
Volume
5
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

✦ Synopsis

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 programs from a CPDL formula, but adds enough information so as not to destroy its original meaning with respect to satisfiability, validity, and logical implication. Notably, the resulting PDL formula is polynomially related to the original one. This fact allows one to build inference procedures for CPDL, by encoding CPDL formulae into PDL, and then nmning an inference procedure for PDL.

📜 SIMILAR VOLUMES

Converse approximation and rule extracti
Converse approximation and rule extraction from decision tables in rough set theory
✍ Yuhua Qian; Jiye Liang; Chuangyin Dang 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 278 KB

In this paper, the concept of a granulation order is proposed in an information system. The converse approximation of a target concept under a granulation order is defined and some of its important properties are obtained, which can be used to characterize the structure of a set approximation. For a

Internal conversion from vibrationally e
Internal conversion from vibrationally excited levels
✍ G.S. Beddard; G.R. Fleming; O.L.J. Gijzeman; G. Porter 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 571 KB

It is shown that internal conversion to the ground state r;in become an important pathway of ndiationIess decay, for molecules in excited vibrational levels. Changes in fluorescence quantum yield as a function of excitation energy have been calculated for the particular case of naphtllalene and arc