𝔖 Bobbio Scriptorium

✦ LIBER ✦

A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5

✍ Scribed by Dorota Leszczyńska-Jasion

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 899 KB
Volume: 38
Category: Article
ISSN: 0022-3611
DOI: 10.1007/s10992-008-9089-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Method of Socratic Proofs for Modal

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

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

Simple probabilistic semantics for propo

Simple probabilistic semantics for propositional K, T, B, S4, and S5

✍ Charles G. Morgan 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 690 KB

ChemInform Abstract: A Modified Procedur

ChemInform Abstract: A Modified Procedure for the Synthesis of 5-Amino-3-arylisoxazoles and Their Reactions with Tetrasulfur Tetranitride Antimony(V) Chloride Complex (S4N4×SbCl5): Novel Synthesis of 3-Aryl-1,2,5-thiadiazole-4-carboxamides.

✍ Yung Cheol Kong; Kyongtae Kim; Yung Ja Park 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 40 KB 👁 2 views

ChemInform Abstract: A Practical and Eff

ChemInform Abstract: A Practical and Efficient Large-Scale Preparation of (4R,5S)-N-Propenoyl-1,5-dimethyl-4-phenylimidazolidin-2-one. A Simple Procedure for the Preparation of N-Acylimidazolidin-2-ones and N-Acylbornane 2,10-Sultams.

✍ W. M. CLARK; C. BENDER 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 33 KB 👁 2 views

BRAVE — a parallel logic language for ar

BRAVE — a parallel logic language for artificial intelligence: Reynolds, T J, Beaumont, A J, Cheng, A S K, Delgado-Rannauro, S A and Spacek, L A Fut. Generat. Comput. Syst. Vol 4 No 1 (August 1988) pp 69–75

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 122 KB

Determination of absolute rate data for

Determination of absolute rate data for the reactions of atomic potassium, K(4 2S12), with CH3Cl, C2H5Cl, (CH3)2CHCL, C2H5CHClCH3 and (CH3)3CCl as a function of temperature by time-resolved atomic resonance absorption spectroscopy

✍ David Husain; Yook Heng Lee 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 965 KB