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.
|
Text
Kikot-Shapirovsky-Zolin.pdf - Accepted Version Download (505kB) | Preview |
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 |
URI: | https://repository.londonmet.ac.uk/id/eprint/5804 |
Downloads
Downloads per month over past year
Downloads each year
Actions (login required)
![]() |
View Item |