Preservation by fibring of the finite model property
Marcelo E. Coniglio, Amı́lcar Sernadas, Cristina Sernadas · Journal of Logic and Computation · 2010
Capitalising on the graph-theoretic account of fibring proposed in [31], we show that fibring preserves the finite model property under mild conditions. Illustrations are provided for modal, deontic, paraconsistent and linear logics.