Abstract
AbstractThis paper proves the finite axiomatizability of transitive modal logics of finite depth and finite width w.r.t. proper-successor-equivalence. The frame condition of the latter requires, in a rooted transitive frame, a finite upper bound of cardinality for antichains of points with different sets of proper successors. The result generalizes Rybakov’s result of the finite axiomatizability of extensions of$\mathbf {S4}$of finite depth and finite width.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference12 articles.
1. Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence
2. Finite axiomatizability of transitive logics of finite depth and finite weak width;Zhang;Studies in Logic,2019
3. Modal Logic
4. Logics containing K4. Part I