Preservation by fibring of the finite model property

@article{Coniglio2011PreservationBF,
  title={Preservation by fibring of the finite model property},
  author={Marcelo E. Coniglio and Am{\'i}lcar Sernadas and Cristina Sernadas},
  journal={J. Log. Comput.},
  year={2011},
  volume={21},
  pages={375-402}
}
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. 

References

Publications referenced by this paper.
Showing 1-10 of 36 references

Substructural Logics: A Primer

  • F. Paoli
  • volume 13 of Trends in Logic. Kluwer Academic…
  • 2002
Highly Influential
6 Excerpts

Carnielli . Modulated fibring and the collapsing problem

  • J. Rasga, A. W.
  • Journal of Logic and Computation
  • 2009

Similar Papers

Loading similar papers…