Preservation by fibring of the finite model property

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Capitalizing on the graph-theoretic account of fibring proposed in Sernadas et al.(2009, J. Log. Comput., 19, 1321-1357), we show that fibring preserves the finite model property under mild conditions. Illustrations are provided for modal, deontic, paraconsistent and linear logics.212375402FCTEU FEDER [KLog PTDC/MAT/68723/2006, QSec PTDC/EIA/67661/2006]Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)EU FEDER [KLog PTDC/MAT/68723/2006, QSec PTDC/EIA/67661/2006]FAPESP [2004/14107-2