| Autor: |
Valentin B. Shehtman |
| Rok vydání: |
2018 |
| Předmět: |
|
| Zdroj: |
Larisa Maksimova on Implication, Interpolation, and Definability ISBN: 9783319699165 |
| DOI: |
10.1007/978-3-319-69917-2_12 |
| Popis: |
The paper studies two-dimensional modal logics with additional connectives (so-called Segerberg squares) and can be regarded as a continuation of Shehtman (Russian Mathematical Surveys, 67(4):721–778, 2012). It gives a new simpler proof of the finite model property of minimal Segerberg squares using bisimulation games. It proves the square finite model property for Segerberg squares of polymodal \(\mathbf{T}\) and \(\mathbf{D}\). It also constructs a faithful embedding of Segerberg squares in the equational theory of relation algebras. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
