An algebraic generalization of Kripke structures - Sérgio Marcelino; Pedro Resende (CoRR, 2007)

Modal Logics of Reactive Frames. - Dov M. Gabbay; Sérgio Marcelino (Stud Logica, 2009)

Finite Frames for K4.3 x S5 Are Decidable. - Agi Kurucz; Sérgio Marcelino (Advances in Modal Logic, 2012)

Global view on reactivity: switch graphs and their logics. - Dov M. Gabbay; Sérgio Marcelino (Ann. Math. Artif. Intell., 2012)

Non-finitely axiomatisable two-dimensional modal logics. - Agi Kurucz; Sérgio Marcelino (J. Symb. Log., 2012)

Decidability and complexity of fibred logics without shared connectives. - Sérgio Marcelino; Carlos Caleiro (Log. J. IGPL, 2016)

Merging Fragments of Classical Logic. - Carlos Caleiro; Sérgio Marcelino; João Marcos 001 (FroCoS, 2017)

Disjoint Fibring of Non-deterministic Matrices. - Sérgio Marcelino; Carlos Caleiro (WoLLIC, 2017)

On the characterization of fibred logics, with applications to conservativity and finite-valuedness. - Sérgio Marcelino; Carlos Caleiro (J. Log. Comput., 2017)

Locally Tabular ( ne ) Locally Finite. - Sérgio Marcelino; Umberto Rivieccio (Logica Universalis, 2017)

Characterizing finite-valuedness. - Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio (Fuzzy Sets Syst., 2018)

Analytic Calculi for Monadic PNmatrices. - Carlos Caleiro; Sérgio Marcelino (WoLLIC, 2019)

Combining fragments of classical logic: When are interaction principles needed? - Carlos Caleiro; Sérgio Marcelino; João Marcos 001 (Soft Comput., 2019)

Infectious semantics and analytic calculi for even more inclusion logics. - Carlos Caleiro; Sérgio Marcelino; Pedro Filipe (ISMVL, 2020)

Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. - Christopher Hampson; Stanislav Kikot; Agi Kurucz; Sérgio Marcelino (Ann. Pure Appl. Log., 2020)

Proof Search on Bilateralist Judgments over Non-deterministic Semantics. - Vitor Greati; Sérgio Marcelino; João Marcos 001 (TABLEAUX, 2021)

On Logics of Perfect Paradefinite Algebras. - Joel Gomes; Vitor Greati; Sérgio Marcelino; João Marcos 001; Umberto Rivieccio (LSFA, 2021)

Axiomatizing non-deterministic many-valued generalized consequence relations. - Sérgio Marcelino; Carlos Caleiro (Synth., 2021)

Computational Properties of Partial Non-deterministic Matrices and Their Logics. - Sérgio Marcelino; Carlos Caleiro; Pedro Filipe (LFCS, 2022)

Monadicity of Non-deterministic Logical Matrices is Undecidable. - Pedro Filipe; Carlos Caleiro; Sérgio Marcelino (NCL, 2022)

Computational properties of finite PNmatrices. - Pedro Filipe; Sérgio Marcelino; Carlos Caleiro (J. Log. Comput., 2022)

An Unexpected Boolean Connective. - Sérgio Marcelino (Logica Universalis, 2022)

Logics of involutive Stone algebras. - Sérgio Marcelino; Umberto Rivieccio (Soft Comput., 2022)

Some more theorems on structural entailment relations and non-deterministic semantics. - Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio (CoRR, 2023)

Finite axiomatizability of logics of distributive lattices with negation. - Sérgio Marcelino; Umberto Rivieccio (Log. J. IGPL, 2023)

Higher-Order Arrows for Path-Dependent Many-Valued Systems. - Sérgio Marcelino (SEFM, 2024)

Generating proof systems for three-valued propositional logics. - Vitor Greati; Giuseppe Greco 001; Sérgio Marcelino; Alessandra Palmigiano; Umberto Rivieccio (CoRR, 2024)

Axiomatizing the Logic of Ordinary Discourse. - Vitor Greati; Sérgio Marcelino; Umberto Rivieccio (CoRR, 2024)

Equivalence of finite non-deterministic logical matrices is undecidable. - Carlos Caleiro; Pedro Filipe; Sérgio Marcelino (CoRR, 2024)

Modular Many-Valued Semantics for combined Logics. - Carlos Caleiro; Sérgio Marcelino (J. Symb. Log., 2024)

Adding an implication to logics of perfect paradefinite algebras. - Vitor Greati; Sérgio Marcelino; João Marcos 001; Umberto Rivieccio (Math. Struct. Comput. Sci., 2024)

Finite Hilbert Systems for Weak Kleene Logics. - Vitor Greati; Sérgio Marcelino; Umberto Rivieccio (Stud Logica, 2024)