Artículos de revistas
Preservation by fibring of the finite model property
Registro en:
Journal Of Logic And Computation. Oxford Univ Press, v. 21, n. 2, n. 375, n. 402, 2011.
0955-792X
WOS:000289165700011
10.1093/logcom/exq022
Autor
Coniglio, ME
Sernadas, A
Sernadas, C
Institución
Resumen
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. 21 2 375 402 FCT EU 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]