𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some descending chains of incomplete modal logics

✍ Scribed by Ming Xu

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
769 KB
Volume
20
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An incomplete system of modal logic
An incomplete system of modal logic
✍ George Boolos; Giovanni Sambin πŸ“‚ Article πŸ“… 1985 πŸ› Springer Netherlands 🌐 English βš– 348 KB
ON THE INCOMPLETENESS OF A DESCENDING CH
ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
✍ Dolph Ulrich πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 143 KB πŸ‘ 1 views

## Abstract C5.Ο‰ is obtained by adding, schematically, to the strict‐implicational fragment C5 of S5 the axiom ((__p__ β†’ __q__) β†’ (__q__ β†’ __p__)) β†’ (__q__ β†’ __p__). This paper presents a fully general proof that neither C5.Ο‰ nor any of a descending chain of its extensions is complete with respect

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