✦ LIBER ✦

Logical Connectives for Constructive Modal Logic

✍ Scribed by Heinrich Wansing

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 267 KB
Volume: 150
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-005-5518-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A polynomial space construction of tree-

A polynomial space construction of tree-like models for logics with local chains of modal connectives

✍ Stéphane Demri 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 360 KB

The LA-logics ("logics with Local Agreement") are polymodal logics deÿned semantically such that at any world of a model, the sets of successors for the di erent accessibility relations can be linearly ordered and the accessibility relations are equivalence relations. In a previous work, we have sho

Connected modal logics

✍ Guram Bezhanishvili; David Gabelaia 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 528 KB

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

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

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

Hybrid Logic Meets IF Modal Logic

✍ Tero Tulenheimo 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 596 KB