Preservation by fibring of the finite model property

dc.creatorConiglio, ME
dc.creatorSernadas, A
dc.creatorSernadas, C
dc.date2011
dc.dateAPR
dc.date2014-07-30T18:08:03Z
dc.date2015-11-26T18:06:18Z
dc.date2014-07-30T18:08:03Z
dc.date2015-11-26T18:06:18Z
dc.date.accessioned2018-03-29T00:48:30Z
dc.date.available2018-03-29T00:48:30Z
dc.identifierJournal Of Logic And Computation. Oxford Univ Press, v. 21, n. 2, n. 375, n. 402, 2011.
dc.identifier0955-792X
dc.identifierWOS:000289165700011
dc.identifier10.1093/logcom/exq022
dc.identifierhttp://www.repositorio.unicamp.br/jspui/handle/REPOSIP/70165
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/70165
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1293327
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionCapitalizing 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.
dc.description21
dc.description2
dc.description375
dc.description402
dc.descriptionFCT
dc.descriptionEU FEDER [KLog PTDC/MAT/68723/2006, QSec PTDC/EIA/67661/2006]
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionEU FEDER [KLog PTDC/MAT/68723/2006, QSec PTDC/EIA/67661/2006]
dc.descriptionFAPESP [2004/14107-2]
dc.languageen
dc.publisherOxford Univ Press
dc.publisherOxford
dc.publisherInglaterra
dc.relationJournal Of Logic And Computation
dc.relationJ. Logic Comput.
dc.rightsfechado
dc.rightshttp://www.oxfordjournals.org/access_purchase/self-archiving_policyb.html
dc.sourceWeb of Science
dc.subjectCombined logics
dc.subjectfibring
dc.subjectfinite model property
dc.subjectpreservation
dc.subjectLinear Logic
dc.subjectAlgebraic Semantics
dc.subjectModal Logics
dc.subjectFragments
dc.subjectLanguages
dc.titlePreservation by fibring of the finite model property
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución