Book chapter
Canonical filtrations and local tabularity
P. 498-512.
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.
Language:
English