Sérgio Marcelino
Sérgio Marcelino
Researcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior Técnico
E-mail confirmado em math.tecnico.ulisboa.pt - Página inicial
Título
Citado por
Citado por
Ano
Modal logics of reactive frames
DM Gabbay, S Marcelino
Studia Logica 93 (2-3), 405, 2009
232009
Non-finitely axiomatisable two-dimensional modal logics
A Kurucz, S Marcelino
Journal of Symbolic Logic 77 (3), 970-986, 2012
92012
Characterizing finite-valuedness
C Caleiro, S Marcelino, U Rivieccio
Fuzzy Sets and Systems 345, 113-125, 2018
82018
Global view on reactivity: switch graphs and their logics
D Gabbay, S Marcelino
Annals of Mathematics and Artificial Intelligence 66 (1-4), 131-162, 2012
82012
On the characterization of fibred logics, with applications to conservativity and finite-valuedness
S Marcelino, C Caleiro
Journal of Logic and Computation 27 (7), 2063-2088, 2017
72017
Decidability and complexity of fibred logics without shared connectives
S Marcelino, C Caleiro
Logic Journal of the IGPL 24 (5), 673-707, 2016
62016
An algebraic generalization of Kripke structures
S Marcelino, P Resende
Mathematical Proceedings of the Cambridge Philosophical Society 145 (3), 549-577, 2008
62008
Disjoint fibring of non-deterministic matrices
S Marcelino, C Caleiro
International Workshop on Logic, Language, Information, and Computation, 242-255, 2017
52017
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
C Hampson, S Kikot, A Kurucz, S Marcelino
Annals of Pure and Applied Logic, 102786, 2020
42020
Axiomatizing non-deterministic many-valued generalized consequence relations
S Marcelino, C Caleiro
Synthese, 1-18, 2019
42019
Merging fragments of classical logic
C Caleiro, S Marcelino, J Marcos
International Symposium on Frontiers of Combining Systems, 298-315, 2017
42017
Deciding theoremhood in fibred logics without shared connectives
S Marcelino, C Caleiro, P Baltazar
The Road to Universal Logic, 387-406, 2015
42015
Locally Tabular Locally Finite
S Marcelino, U Rivieccio
Logica Universalis 11 (3), 383-400, 2017
32017
Modal logic for changing systems
SRT Marcelino
University of London, 2011
32011
Analytic calculi for monadic PNmatrices
C Caleiro, S Marcelino
International Workshop on Logic, Language, Information, and Computation, 84-98, 2019
22019
Combining fragments of classical logic: When are interaction principles needed?
C Caleiro, S Marcelino, J Marcos
Soft Computing 23 (7), 2213-2231, 2019
22019
Finite Frames for K4. 3 x S5 Are Decidable.
A Kurucz, S Marcelino
Advances in Modal Logic 9, 411-436, 2012
22012
Infectious semantics and analytic calculi for even more inclusion logics
C Caleiro, S Marcelino, P Filipe
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 224-229, 2020
2020
Infectious semantics for inclusion logics
C Caleiro, S Marcelino, P Filipe
Days in Logic 2020, 11, 2020
2020
Modular analysis of Hilbert calculi
S Marcelino, C Caleiro
Handbook of the 6th World Congress and School on Universal Logic, 420, 2018
2018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20