2 papers
math.LO2025
Two types of filtrations for and its relatives
Andrey Kudinov, Ilya Shapirovsky
We study the finite model property of subframe logics with expressible transitive reflexive closure modality. For , let be the logic defined by axiom $\lozenge^…
math.LO2025
Sufficient conditions for local tabularity of a polymodal logic
Ilya B. Shapirovsky
On relational structures and on polymodal logics, we describe operations which preserve local tabularity. This provides new sufficient semantic and axiomatic conditions for local t…