Preservation by fibring of the finite model property

DOI10.1093/logcom/exq022zbMath1233.03034OpenAlexW2016625593MaRDI QIDQ3006122

Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

Publication date: 10 June 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exq022

zbMATH Keywords

modal logiclinear logicdeontic logicpreservationfinite model propertyparaconsistent logiccombined logicsfibring

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Combined logics (03B62)

Related Items (2)

Deciding Theoremhood in Fibred Logics Without Shared Connectives ⋮ Fibring as biporting subsumes asymmetric combinations

This page was built for publication: Preservation by fibring of the finite model property