Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
21
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
DBLP22
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
23
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 WOS24
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 WOS25
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