No CrossRef data available.
Article contents
FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE
Published online by Cambridge University Press: 23 June 2023
Abstract
This 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.
Keywords
MSC classification
- Type
- Research Article
- Information
- Copyright
- © The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic