| Analytic calculi for monadic PNmatrices C Caleiro, S Marcelino Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 31 | 2019 |
| Modal logics of reactive frames DM Gabbay, S Marcelino Studia Logica 93, 405-446, 2009 | 29 | 2009 |
| Disjoint fibring of non-deterministic matrices S Marcelino, C Caleiro International Workshop on Logic, Language, Information, and Computation, 242-255, 2017 | 28 | 2017 |
| Axiomatizing non-deterministic many-valued generalized consequence relations S Marcelino, C Caleiro Synthese 198 (Suppl 22), 5373-5390, 2021 | 27 | 2021 |
| Characterizing finite-valuedness C Caleiro, S Marcelino, U Rivieccio Fuzzy Sets and Systems 345, 113-125, 2018 | 18 | 2018 |
| 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 | 17 | 2020 |
| On axioms and rexpansions C Caleiro, S Marcelino Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, 39-69, 2021 | 16 | 2021 |
| Global view on reactivity: switch graphs and their logics D Gabbay, S Marcelino Annals of Mathematics and Artificial Intelligence 66 (1), 131-162, 2012 | 16 | 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 | 13 | 2017 |
| Decidability and complexity of fibred logics without shared connectives S Marcelino, C Caleiro Logic Journal of the IGPL 24 (5), 673-707, 2016 | 13 | 2016 |
| Modular many-valued semantics for combined logics C Caleiro, S Marcelino The Journal of Symbolic Logic, 1-54, 2023 | 12* | 2023 |
| An unexpected Boolean connective S Marcelino Logica Universalis 16 (1), 85-103, 2022 | 11 | 2022 |
| Non-finitely axiomatisable two-dimensional modal logics A Kurucz, S Marcelino The Journal of Symbolic Logic 77 (3), 970-986, 2012 | 10 | 2012 |
| Logics of involutive Stone algebras S Marcelino, U Rivieccio Soft Computing 26 (7), 3147-3160, 2022 | 9 | 2022 |
| Proof search on bilateralist judgments over non-deterministic semantics V Greati, S Marcelino, J Marcos International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 9 | 2021 |
| Combining fragments of classical logic: When are interaction principles needed? C Caleiro, S Marcelino, J Marcos Soft Computing 23, 2213-2231, 2019 | 8 | 2019 |
| An algebraic generalization of Kripke structures S Marcelino, P Resende Mathematical Proceedings of the Cambridge Philosophical Society 145 (3), 549-577, 2007 | 8 | 2007 |
| Computational properties of partial non-deterministic matrices and their logics S Marcelino, C Caleiro, P Filipe International Symposium on Logical Foundations of Computer Science, 180-197, 2021 | 5 | 2021 |
| On logics of perfect paradefinite algebras J Gomes, V Greati, S Marcelino, J Marcos, U Rivieccio arXiv preprint arXiv:2106.09883, 2021 | 5 | 2021 |
| Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations C Hampson, S Kikot, A Kurucz, S Marcelino Annals of Pure and Applied Logic 171 (5), 102786, 2020 | 5 | 2020 |
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
