Back to Search
Start Over
On the multi-dimensional modal logic of substitutions.
- Source :
-
Studia Scientiarum Mathematicarum Hungarica . Dec2019, Vol. 56 Issue 4, p454-481. 28p. - Publication Year :
- 2019
-
Abstract
- We prove completeness, interpolation, decidability and an omitting types theorem for certain multi-dimensional modal logics where the states are not abstract entities but have an inner structure. The states will be sequences. Our approach is algebraic addressing varieties generated by complex algebras of Kripke semantics for such logics. The algebras dealt with are common cylindrification free reducts of cylindric and polyadic algebras. For finite dimensions, we show that such varieties are finitely axiomatizable, have the super amalgamation property, and that the subclasses consisting of only completely representable algebras are elementary, and are also finitely axiomatizable in first order logic. Also their modal logics have an N P complete satisfiability problem. Analogous results are obtained for infinite dimensions by replacing finite axiomatizability by finite schema axiomatizability. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00816906
- Volume :
- 56
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- Studia Scientiarum Mathematicarum Hungarica
- Publication Type :
- Academic Journal
- Accession number :
- 141510115
- Full Text :
- https://doi.org/10.1556/012.2019.56.4.1447