✦ LIBER ✦

On the lattice of extensions of the modal logics KAltn

✍ Scribed by Fabio Bellissima

Publisher: Springer
Year: 1988
Tongue: English
Weight: 353 KB
Volume: 27
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01620760

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An extension of the Łukasiewicz logic to

An extension of the Łukasiewicz logic to the modal logic of quantum mechanics

✍ Herman Dishkant 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 342 KB

The completeness of monotonic modal logi

The completeness of monotonic modal logics

✍ Brian F. Chellas; Audrey McKinney 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th

Noncompact extensions of the logicS4

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

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

Remarks on the semantics of non-normal m

Remarks on the semantics of non-normal modal logics

✍ Peter K. Schotch 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 598 KB

Continuum of normal extensions of the mo

Continuum of normal extensions of the modal logic of provability with the interpolation property

✍ L. L. Maksimova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 631 KB