Follow
Sérgio Marcelino
Sérgio Marcelino
Researcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior Técnico
Verified email at math.tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
Analytic calculi for monadic PNmatrices
C Caleiro, S Marcelino
Logic, Language, Information, and Computation: 26th International Workshop …, 2019
312019
Modal logics of reactive frames
DM Gabbay, S Marcelino
Studia Logica 93, 405-446, 2009
292009
Disjoint fibring of non-deterministic matrices
S Marcelino, C Caleiro
International Workshop on Logic, Language, Information, and Computation, 242-255, 2017
282017
Axiomatizing non-deterministic many-valued generalized consequence relations
S Marcelino, C Caleiro
Synthese 198 (Suppl 22), 5373-5390, 2021
272021
Characterizing finite-valuedness
C Caleiro, S Marcelino, U Rivieccio
Fuzzy Sets and Systems 345, 113-125, 2018
182018
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
172020
On axioms and rexpansions
C Caleiro, S Marcelino
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, 39-69, 2021
162021
Global view on reactivity: switch graphs and their logics
D Gabbay, S Marcelino
Annals of Mathematics and Artificial Intelligence 66 (1), 131-162, 2012
162012
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
142017
Decidability and complexity of fibred logics without shared connectives
S Marcelino, C Caleiro
Logic Journal of the IGPL 24 (5), 673-707, 2016
142016
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
112022
Non-finitely axiomatisable two-dimensional modal logics
A Kurucz, S Marcelino
The Journal of Symbolic Logic 77 (3), 970-986, 2012
102012
Logics of involutive Stone algebras
S Marcelino, U Rivieccio
Soft Computing 26 (7), 3147-3160, 2022
92022
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
92021
Combining fragments of classical logic: When are interaction principles needed?
C Caleiro, S Marcelino, J Marcos
Soft Computing 23, 2213-2231, 2019
82019
An algebraic generalization of Kripke structures
S Marcelino, P Resende
Mathematical Proceedings of the Cambridge Philosophical Society 145 (3), 549-577, 2007
82007
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
62015
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
52021
On logics of perfect paradefinite algebras
J Gomes, V Greati, S Marcelino, J Marcos, U Rivieccio
arXiv preprint arXiv:2106.09883, 2021
52021
The system can't perform the operation now. Try again later.
Articles 1–20