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 | 14 | 2017 |
Decidability and complexity of fibred logics without shared connectives S Marcelino, C Caleiro Logic Journal of the IGPL 24 (5), 673-707, 2016 | 14 | 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 |
Deciding theoremhood in fibred logics without shared connectives S Marcelino, C Caleiro, P Baltazar The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves …, 2015 | 6 | 2015 |
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 |