Preservation by fibring of the finite model property

Coniglio, M. E.; Sernadas, A.; Sernadas, C.

Advanced search

Search - Use quotation marks to get a more specific result

Index

Field of knowledge

Start date

Betweenand

(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
Author(s):	Coniglio, M. E. ^{[1, 2]} ; Sernadas, A. ^[3] ; Sernadas, C. ^[3] Total Authors: 3
Affiliation:	^[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
Abstract
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 Opportunities:	Research Projects - Thematic Grants

Short URL