No CrossRef data available.
Article contents
THE LOGIC OF SEQUENCE FRAMES
Published online by Cambridge University Press: 21 July 2020
Abstract
This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.
Keywords
MSC classification
- Type
- Research Article
- Information
- Copyright
- © Association for Symbolic Logic, 2020