✦ LIBER ✦

The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G

✍ Scribed by Dorota Leszczyńska-Jasion

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Loop-Free Decision Procedure for Modal

✍ Dorota Leszczyńska-Jasion 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 899 KB

The decidability of admissibility proble

✍ S. V. Babenyshev 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 834 KB

Enantiospecific syntheses of 2S,3R,4R,5S

✍ B.P. Bashyal; H.-F. Chow; G.W.J. Fleet 📂 Article 📅 1986 🏛 Elsevier Science 🌐 French ⚖ 273 KB

Identification and stereochemistry of (2

✍ A.H. Beckett; G.R. Jones 📂 Article 📅 1977 🏛 Elsevier Science 🌐 French ⚖ 365 KB

ChemInform Abstract: Stereodivergent Syn

✍ Makoto Oba; Akiko Miyakawa; Kozaburo Nishiyama; Tsutomu Terauchi; Masatsune Kain 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 42 KB 👁 1 views

Ring Currents as Probes of the Aromatici

✍ Frank De Proft; Patrick W. Fowler; Remco W. A. Havenith; Paul von Rague Schleyer 📂 Article 📅 2004 🏛 John Wiley and Sons ⚖ 54 KB 👁 2 views

## Abstract For Abstract see ChemInform Abstract in Full Text.