✦ LIBER ✦

On detachment-substitutional formalization in normal modal logics

✍ Scribed by Wieslaw Dziobiak

Publisher: Springer Netherlands
Year: 1977
Tongue: English
Weight: 306 KB
Volume: 36
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02121261

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Amalgamation and interpolation in normal

Amalgamation and interpolation in normal modal logics

✍ Larisa Maksimova 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 740 KB

This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.

Normal derivability in modal logic

✍ Jan von Plato 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 89 KB

The standard rule of necessitation in systems of natural deduction for the modal logic S4 concludes A from A whenever all assumptions A depends on are modal formulas. This condition prevents the composability and normalization of derivations, and therefore modifications of the rule have been suggest

Remarks on the semantics of non-normal m

Remarks on the semantics of non-normal modal logics

✍ Peter K. Schotch 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 598 KB

On variable separation in modal and supe

On variable separation in modal and superintuitionistic logics

✍ Larisa Maksimova 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 746 KB