Sérgio Marcelino

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 33

Top Topics

Merging Operators

Computational Properties

Valued Semantics

Classical Logic

Top Venues

Logica Universalis

Publications

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
Axiomatizing the Logic of Ordinary Discourse. CoRR (2024)
Carlos Caleiro, Sérgio Marcelino
Modular Many-Valued Semantics for combined Logics. J. Symb. Log. 89 (2) (2024)
Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio
Generating proof systems for three-valued propositional logics. CoRR (2024)
Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
Finite Hilbert systems for Weak Kleene logics. CoRR (2024)
Sérgio Marcelino, Umberto Rivieccio
Finite axiomatizability of logics of distributive lattices with negation. Log. J. IGPL 31 (3) (2023)
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
Some more theorems on structural entailment relations and non-deterministic semantics. CoRR (2023)
Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
Adding an Implication to Logics of Perfect Paradefinite Algebras. CoRR (2023)
Pedro Filipe, Carlos Caleiro, Sérgio Marcelino
Monadicity of Non-deterministic Logical Matrices is Undecidable. NCL (2022)
Sérgio Marcelino, Carlos Caleiro, Pedro Filipe
Computational Properties of Partial Non-deterministic Matrices and Their Logics. LFCS (2022)
Carlos Caleiro, Sérgio Marcelino
Modular many-valued semantics for combined logics. CoRR (2022)
Sérgio Marcelino
An Unexpected Boolean Connective. Logica Universalis 16 (1-2) (2022)
Sérgio Marcelino, Umberto Rivieccio
Logics of involutive Stone algebras. Soft Comput. 26 (7) (2022)
Pedro Filipe, Sérgio Marcelino, Carlos Caleiro
Computational properties of finite PNmatrices. J. Log. Comput. 32 (8) (2022)
Vitor Greati, Sérgio Marcelino, João Marcos
Proof Search on Bilateralist Judgments over Non-deterministic Semantics. CoRR (2021)
Sérgio Marcelino, Umberto Rivieccio
Finite axiomatizability of logics of distributive lattices with negation. CoRR (2021)
Sérgio Marcelino, Carlos Caleiro
Axiomatizing non-deterministic many-valued generalized consequence relations. Synth. 198 (22-S) (2021)
Sérgio Marcelino
An unexpected Boolean connective. CoRR (2021)
Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
On Logics of Perfect Paradefinite Algebras. CoRR (2021)
Vitor Greati, Sérgio Marcelino, João Marcos
Proof Search on Bilateralist Judgments over Non-deterministic Semantics. TABLEAUX (2021)
Sérgio Marcelino, Umberto Rivieccio
Logics of involutive Stone algebras. CoRR (2021)
Carlos Caleiro, Sérgio Marcelino, Pedro Filipe
Infectious semantics and analytic calculi for even more inclusion logics. ISMVL (2020)
Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. Ann. Pure Appl. Log. 171 (5) (2020)
Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. CoRR (2019)
Carlos Caleiro, Sérgio Marcelino
Analytic Calculi for Monadic PNmatrices. WoLLIC (2019)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Combining fragments of classical logic: When are interaction principles needed? Soft Comput. 23 (7) (2019)
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
Characterizing finite-valuedness. Fuzzy Sets Syst. 345 (2018)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Combining fragments of classical logic: When are interaction principles needed? CoRR (2018)
Sérgio Marcelino, Carlos Caleiro
On the characterization of fibred logics, with applications to conservativity and finite-valuedness. J. Log. Comput. 27 (7) (2017)
Sérgio Marcelino, Carlos Caleiro
Disjoint Fibring of Non-deterministic Matrices. WoLLIC (2017)
Sérgio Marcelino, Umberto Rivieccio
Locally Tabular \(\ne \) Locally Finite. Logica Universalis 11 (3) (2017)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Merging Fragments of Classical Logic. FroCoS (2017)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Merging fragments of classical logic. CoRR (2017)
Sérgio Marcelino, Carlos Caleiro
Decidability and complexity of fibred logics without shared connectives. Log. J. IGPL 24 (5) (2016)
Agi Kurucz, Sérgio Marcelino
Finite Frames for K4.3 x S5 Are Decidable. Advances in Modal Logic (2012)
Agi Kurucz, Sérgio Marcelino
Non-finitely axiomatisable two-dimensional modal logics. J. Symb. Log. 77 (3) (2012)
Dov M. Gabbay, Sérgio Marcelino
Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Dov M. Gabbay, Sérgio Marcelino
Modal Logics of Reactive Frames. Stud Logica 93 (2-3) (2009)
Sérgio Marcelino, Pedro Resende
An algebraic generalization of Kripke structures CoRR (2007)