2 papers
cs.LO2021
Description logics as polyadic modal logics
Jonne Iso-Tuisku, Antti Kuusisto
We study extensions of standard description logics to the framework of polyadic modal logic. We promote a natural approach to such logics via general relation algebras that can be…
math.LO2018
Uniform One-Dimensional Fragment over Ordered Structures
Jonne Iso-Tuisku, Antti Kuusisto
The uniform one-dimensional fragment U1 is a recently introduced extension of the two-variable fragment FO2. The logic U1 enables the use of relation symbols of all arities and the…