The Logic of Sequence Frames

Review of Symbolic Logic 15 (1):101-132 (2022)
  Copy   BIBTEX

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.

Author's Profile

Fabio Lampert
University of Greifswald

Analytics

Added to PP
2020-07-04

Downloads
488 (#30,959)

6 months
172 (#14,155)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?