✦ LIBER ✦

Hereditarily finitely axiomatizable extensions of logic S4

✍ Scribed by V. V. Rybakov

Publisher: Springer US
Year: 1976
Tongue: English
Weight: 775 KB
Volume: 15
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01877236

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

All Finitely Axiomatizable Normal Extens

All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable

✍ Michael Zakharyaschevm; Alexander Alekseev 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 546 KB

We use the apparatus of the canonical formulas introduced by Zakharyaschev [lo] to prove that all finitely axiomatizable normal modal logics containing K4.3 are decidable, though possibly not characterized by classes of finite frames. Our method is purely frame-theoretic. Roughly, given a normal log

Finite axiomatizability of locally tabul

Finite axiomatizability of locally tabular superintuitionistic logics

✍ A. I. Tsitkin 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 310 KB

A decidable noncompact extension of the

A decidable noncompact extension of the logic S4

✍ V. V. Rybakov 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 502 KB

Noncompact extensions of the logicS4

✍ V. V. Rybakov 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 987 KB

Extensions of Makinson's Completeness Th

Extensions of Makinson's Completeness Theorems in Modal Logic

✍ R. Routley 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 890 KB

On the structure of paraconsistent exten

On the structure of paraconsistent extensions of Johansson's logic

✍ Sergei P. Odintsov 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 229 KB

The aim of this article is to give a compact and self-contained description of the class of paraconsistent extensions of Johansson's (or minimal) logic (denoted Lj). The class of all non-trivial Lj-extensions is divided into three classes: the class Int of intermediate logics, the class Neg of negat