Advanced search
Start date
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

Preservation by fibring of the finite model property

Full text
Coniglio, M. E. [1, 2] ; Sernadas, A. [3] ; Sernadas, C. [3]
Total Authors: 3
[1] Univ Estadual Campinas, Dept Philosophy, Campinas - Brazil
[2] Univ Estadual Campinas, CLE, Campinas - Brazil
[3] Univ Tecn Lisboa, Dept Math, Inst Super Tecn, SQIG, Inst Telecomunicacoes, Lisbon - Portugal
Total Affiliations: 3
Document type: Journal article
Source: JOURNAL OF LOGIC AND COMPUTATION; v. 21, n. 2, p. 375-402, APR 2011.
Web of Science Citations: 3

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. (AU)

FAPESP's process: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications
Grantee:Walter Alexandre Carnielli
Support type: Research Projects - Thematic Grants