✦ LIBER ✦

On variable separation in modal and superintuitionistic logics

✍ Scribed by Larisa Maksimova

Publisher: Springer Netherlands
Year: 1995
Tongue: English
Weight: 746 KB
Volume: 55
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf01053034

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Disjunctive property of superintuitionis

Disjunctive property of superintuitionist and modal logics

✍ M. V. Zakhar'yashchev 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 433 KB

Non-Equivalent Formulae in one Variable

Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic

✍ David Makinson 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB

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.

On Some Completeness Theorems in Modal L

On Some Completeness Theorems in Modal Logic

✍ D. Makinson 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB

ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC1) by D. MAKINSON in Oxford (England)

On the Completeness of Chronological Log

On the Completeness of Chronological Logics with Modal Operators

✍ Hirokazu Nishimura 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 471 KB 👁 1 views

MODAL LOGICS IN THE THEORY OF INFORMATIO

MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS

✍ Ewa Orlowska 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 527 KB