✦ LIBER ✦

On some proof theoretical properties of the modal logic GL

✍ Scribed by Marco Borga

Publisher: Springer Netherlands
Year: 1983
Tongue: English
Weight: 408 KB
Volume: 42
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf01371633

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Proof Theory of the Modal Logic G

On the Proof Theory of the Modal Logic Grz

✍ M. Borga; P. Gentilini 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB 👁 1 views

On the Finite Model Property of Intuitio

On the Finite Model Property of Intuitionistic Modal Logics over MIPC

✍ Takahito Aoto; Hiroyuki Shirasu 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 816 KB

On the size of refutation Kripke models

On the size of refutation Kripke models for some linear modal and tense logics

✍ Hiroakira Ono; Akira Nakamura 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 597 KB

Theoretical study on the properties of s

Theoretical study on the properties of some superheavy nuclei

✍ Zhongzhou Ren; Fei Tai; Ding-Han Chen; H.Y. Zhang; W.Q. Shen 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Theoretical and experimental study on th

Theoretical and experimental study on the electrical properties of some 1,3,4-triazole derivatives

✍ Ana Maria Hogea; Marcel Popa; Christian Legrand; Patrick Ropa; Georgiana G Surpa 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 256 KB

A theoretical study of the hydrogen bond

A theoretical study of the hydrogen bonding properties of H2BNH2: Some considerations on the basis set superposition error issue

✍ Ibon Alkorta; Cristina Trujillo; Jose Elguero; Mohammad Solimannejad 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 376 KB

The HB complexes formed by H 2 B@NH 2 with five small molecules that can act as hydrogen bond acceptors and donors have been theoretically studied. Three different kinds of complexes have been found to be minima: conventional hydrogen bonds, dihydrogen bonds and those with the p system of H 2 B@NH 2