Valentin Shehtman

Local tabularity and the finite model property in modal logic

In the paper by Gabbay and Shehtman (1998) the fmp of products of modal logics was proved by the finite depth method. This method can be formulated briefly as follows: to prove the fmp, present the logic as an intersection of locally tabular logics. In the talk I shall explain how to prove local tabularity for polymodal logics in a systematic way, by using canonical filtration, and give several examples.