✦ LIBER ✦

John Marquis Converse 1909–1981

✍ Scribed by N. Thompson

Publisher: Springer
Year: 1981
Tongue: English
Weight: 328 KB
Volume: 6
Category: Article
ISSN: 1435-0130
DOI: 10.1007/bf00289641

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Teofilo Melchor Tabanera 1909–1981

✍ Frederick I. Ordway III 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 103 KB

John Paul Scott (1909–2000)

✍ Ronald Baenninger 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 8 KB

of the founders of the International Society for Research on Aggression, died on March 26, 2000, in Bowling Green, Ohio, where he had lived for many years with his wife, Mary-Vesta

Dr. John James Carroll (1909–1972)

✍ H. B. G. 📂 Article 📅 1973 🏛 Springer-Verlag 🌐 French ⚖ 102 KB

Reconstructive plastic surgery, 2nd Edit

Reconstructive plastic surgery, 2nd Edition, Vol. 5 Edited by John Marquis Converse, 502 pp, illus, W. B. Saunders, Philadelphia, 1977. $35.00

✍ Bone, Robert C. 📂 Article 📅 1978 🏛 Wiley (John Wiley & Sons) ⚖ 133 KB

John Rankin (1923–1981)

✍ Richard I. Lindley 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 139 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