Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
21
TITLE: Merging Fragments of Classical Logic
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
INDEXED IN: 
DBLP
DBLP22
TITLE: Disjoint Fibring of Non-deterministic Matrices
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
INDEXED IN: DBLP
DBLP23
TITLE: Merging fragments of classical logic PDF
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1706.08689
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1706.08689
INDEXED IN: DBLP 
arXiv
DBLP arXiv24
TITLE: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: J. Log. Comput., VOLUME: 27, ISSUE: 7
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: J. Log. Comput., VOLUME: 27, ISSUE: 7
INDEXED IN: DBLP
DBLP25
TITLE: Decidability and complexity of fibred logics without shared connectives Full Text
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2016, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, ISSUE: 5
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2016, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, ISSUE: 5
26
TITLE: Decidability and complexity of fibred logics without shared connectives
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2016, SOURCE: Logic Journal of the IGPL, VOLUME: 24, ISSUE: 5
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2016, SOURCE: Logic Journal of the IGPL, VOLUME: 24, ISSUE: 5
INDEXED IN: DBLP
DBLP27
TITLE: Global view on reactivity: switch graphs and their logics Full Text
AUTHORS: Dov Gabbay; Sergio Marcelino;
PUBLISHED: 2012, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 66, ISSUE: 1-4
AUTHORS: Dov Gabbay; Sergio Marcelino;
PUBLISHED: 2012, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 66, ISSUE: 1-4
28
TITLE: NON-FINITELY AXIOMATISABLE TWO-DIMENSIONAL MODAL LOGICS
AUTHORS: Agi Kurucz; Sergio Marcelino;
PUBLISHED: 2012, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 77, ISSUE: 3
AUTHORS: Agi Kurucz; Sergio Marcelino;
PUBLISHED: 2012, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 77, ISSUE: 3
INDEXED IN: 
Scopus 
WOS
Scopus WOS29
TITLE: An algebraic generalization of Kripke structures
AUTHORS: Sergio Marcelino; Pedro Resende ;
PUBLISHED: 2008, SOURCE: MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, VOLUME: 145, ISSUE: 3
AUTHORS: Sergio Marcelino; Pedro Resende ;
PUBLISHED: 2008, SOURCE: MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, VOLUME: 145, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS30
TITLE: An algebraic generalization of Kripke structures
AUTHORS: SÉRGIO MARCELINO; PEDRO RESENDE;
PUBLISHED: 2008, SOURCE: Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, VOLUME: 145, ISSUE: 03
AUTHORS: SÉRGIO MARCELINO; PEDRO RESENDE;
PUBLISHED: 2008, SOURCE: Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, VOLUME: 145, ISSUE: 03
INDEXED IN: 
CrossRef
CrossRef