Preservation by fibring of the finite model property
From MaRDI portal
Publication:3006122
DOI10.1093/logcom/exq022zbMath1233.03034MaRDI 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
modal logic; linear logic; deontic logic; preservation; finite model property; paraconsistent logic; combined logics; fibring
Related Items
Deciding Theoremhood in Fibred Logics Without Shared Connectives, Fibring as biporting subsumes asymmetric combinations