✦ LIBER ✦

Connected modal logics

✍ Scribed by Guram Bezhanishvili; David Gabelaia

Publisher: Springer
Year: 2010
Tongue: English
Weight: 528 KB
Volume: 50
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-010-0214-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modal logics connected with systems S4no

Modal logics connected with systems S4nof Sobociński

✍ Jerzy J. Blaszczuk; Wieslaw Dziobiak 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 684 KB

Logical Connectives for Constructive Mod

Logical Connectives for Constructive Modal Logic

✍ Heinrich Wansing 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 267 KB

Some Connections between Topological and

Some Connections between Topological and Modal Logic

✍ Kurt Engesser 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 919 KB

## Abstract We study modal logics based on neighbourhood semantics using methods and theorems having their origin in topological model theory. We thus obtain general results concerning completeness of modal logics based on neighbourhood semantics as well as the relationship between neighbourhood an

The semantic characterization of modal l

The semantic characterization of modal logical connectives

✍ A. D. Yashin 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 387 KB

Fuzzy Modal Logics

✍ A. M. Mironov 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 157 KB

Modal sequents for normal modal logics

✍ Claudio Cerrato 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 433 KB

## Abstract We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03