Modal logics of reactive frames DM Gabbay, S Marcelino
Studia Logica 93 (2-3), 405, 2009
23 2009 Non-finitely axiomatisable two-dimensional modal logics A Kurucz, S Marcelino
Journal of Symbolic Logic 77 (3), 970-986, 2012
9 2012 Characterizing finite-valuedness C Caleiro, S Marcelino, U Rivieccio
Fuzzy Sets and Systems 345, 113-125, 2018
8 2018 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
8 2012 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
7 2017 Decidability and complexity of fibred logics without shared connectives S Marcelino, C Caleiro
Logic Journal of the IGPL 24 (5), 673-707, 2016
6 2016 An algebraic generalization of Kripke structures S Marcelino, P Resende
Mathematical Proceedings of the Cambridge Philosophical Society 145 (3), 549-577, 2008
6 2008 Disjoint fibring of non-deterministic matrices S Marcelino, C Caleiro
International Workshop on Logic, Language, Information, and Computation, 242-255, 2017
5 2017 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
4 2020 Axiomatizing non-deterministic many-valued generalized consequence relations S Marcelino, C Caleiro
Synthese, 1-18, 2019
4 2019 Merging fragments of classical logic C Caleiro, S Marcelino, J Marcos
International Symposium on Frontiers of Combining Systems, 298-315, 2017
4 2017 Deciding theoremhood in fibred logics without shared connectives S Marcelino, C Caleiro, P Baltazar
The Road to Universal Logic, 387-406, 2015
4 2015 Locally Tabular S Marcelino, U Rivieccio
Logica Universalis 11 (3), 383-400, 2017
3 2017 Modal logic for changing systems SRT Marcelino
University of London, 2011
3 2011 Analytic calculi for monadic PNmatrices C Caleiro, S Marcelino
International Workshop on Logic, Language, Information, and Computation, 84-98, 2019
2 2019 Combining fragments of classical logic: When are interaction principles needed? C Caleiro, S Marcelino, J Marcos
Soft Computing 23 (7), 2213-2231, 2019
2 2019 Finite Frames for K4. 3 x S5 Are Decidable. A Kurucz, S Marcelino
Advances in Modal Logic 9, 411-436, 2012
2 2012 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 
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaE-mail confirmado em math.ist.utl.pt
