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.

Kikot-Shapirovsky-Zolin.pdf - Accepted Version

Download (505kB) | Preview
Official URL:

Abstract / Description

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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: modal logic; tense logic; finite model property; filtration; transitive closure; universal modality; grammar modal logic; Horn closure; regular grammar; propositional dynamic logic
Subjects: 500 Natural Sciences and Mathematics > 510 Mathematics
Department: School of Computing and Digital Media
Depositing User: Stanislav Kikot
Date Deposited: 21 May 2020 09:07
Last Modified: 21 May 2020 09:07


Downloads per month over past year

Downloads each year

Actions (login required)

View Item View Item