Canonical filtrations and local tabularity. (English) Zbl 1385.03027

Shehtman, Valentin

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 498-512 (2014).

Summary: The paper deals with a special type of filtration in modal logic called “canonical”. This filtration has been known since the 1970s, but was used only occasionally. Applying it in a systematic way allows us to prove new results on finite model property (and in some cases – local tabularity) for different polymodal logics. In particular, we consider products of logics of finite depth with S5 and DL, and also temporal logics of finite depth.
For the entire collection see [Zbl 1318.03006].

MSC:

03B45	Modal logic (including the logic of norms)
03B44	Temporal logic

Keywords:

modal logic; temporal logic; finite model property; local tabularity; filtration; canonical model; modal product