✦ LIBER ✦

Squares of modal logics with additional connectives

✍ Scribed by Shehtman, Valentin B

Book ID: 120999034
Publisher: Turpion Limited
Year: 2012
Tongue: English
Weight: 981 KB
Volume: 67
Category: Article
ISSN: 0036-0279
DOI: 10.1070/RM2012v067n04ABEH004805

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatization of modal logic squares wi

Axiomatization of modal logic squares with distinguished diagonal

✍ S. P. Kikot’ 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 735 KB

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

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

Weak models of distributed computing, wi

Weak models of distributed computing, with connections to modal logic

✍ Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti; Laurinharju, Juhana; Lempiäinen 📂 Article 📅 2014 🏛 Springer-Verlag 🌐 English ⚖ 765 KB

An algebraic approach to intuitionistic

An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics

✍ Nobu-Yuki Suzuki 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 650 KB

Completeness of modal logics with prefin

Completeness of modal logics with prefinite width

✍ V. V. Rybakov 📂 Article 📅 1982 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 219 KB