𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Converse categorization strategies

✍ Scribed by Lehmann, Christian (author)


Book ID
111678271
Publisher
Walter de Gruyter GmbH & Co. KG
Year
2012
Tongue
English
Weight
791 KB
Volume
50
Category
Article
ISSN
0024-3949

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Converse categorization strategies
✍ Lehmann, Christian (author) πŸ“‚ Article πŸ“… 2012 πŸ› Walter de Gruyter GmbH & Co. KG 🌐 English βš– 791 KB
Alternative strategies of categorization
✍ Edward E Smith; Andrea L Patalano; John Jonides πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 346 KB
Conversational Strategies
✍ STARKEY DUNCAN JR. πŸ“‚ Article πŸ“… 1981 πŸ› John Wiley and Sons 🌐 English βš– 470 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