Filtration safe operations on frames

Kikot, Stanislav, Shapirovsky, Ilya and Zolin, Evgeny (2014) Filtration safe operations on frames. In: Advances in Modal Logic 2014, 5-8 August 2014, Groningen, Netherlands.

Abstract

Filtration is a standard tool for establishing the finite model property of modal logics. We consider logics and classes of frames that admit filtration, and identify some operations on them that preserve this property. In particular, the operation of adding the inverse or the transitive closure of a relation is shown to be safe in this sense.These results are then used to prove that every regular grammar logic with converse admits filtration. We present filtration constructions for right-linear and left-linear grammar logics. We also give a simple example of a grammar modal logic that is undecidable and hence does not admit filtration.

Documents
5804:31240
[img]
Preview
Kikot-Shapirovsky-Zolin.pdf - Accepted Version

Download (505kB) | Preview
Details
Record
Statistics

Downloads

Downloads per month over past year



Downloads each year

View Item View Item