Sérgio Marcelino

43 papers B 4C 2Misc 1Journal 32Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Analytic Calculi for Logics of Indicative Conditionals. TABLEAUX Vitor Greati, Sérgio Marcelino, Miguel Muñoz Pérez, Umberto Rivieccio
2024	J	`jnl`	Adding an implication to logics of perfect paradefinite algebras. Math. Struct. Comput. Sci. Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2024	J	`jnl`	Axiomatizing the Logic of Ordinary Discourse. CoRR Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
2024	J	`jnl`	Equivalence of finite non-deterministic logical matrices is undecidable. CoRR Carlos Caleiro, Pedro Filipe, Sérgio Marcelino
2024	J	`jnl`	Finite Hilbert Systems for Weak Kleene Logics. Stud Logica Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
2024	J	`jnl`	Finite Hilbert systems for Weak Kleene logics. CoRR Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
2024	J	`jnl`	Generating proof systems for three-valued propositional logics. CoRR Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio
2024	B	`conf`	Higher-Order Arrows for Path-Dependent Many-Valued Systems. SEFM Sérgio Marcelino
2024	J	`jnl`	Modular Many-Valued Semantics for combined Logics. J. Symb. Log. Carlos Caleiro, Sérgio Marcelino
2023	J	`jnl`	Adding an Implication to Logics of Perfect Paradefinite Algebras. CoRR Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2023	J	`jnl`	Finite axiomatizability of logics of distributive lattices with negation. Log. J. IGPL Sérgio Marcelino, Umberto Rivieccio
2023	J	`jnl`	Some more theorems on structural entailment relations and non-deterministic semantics. CoRR Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
2022	J	`jnl`	An Unexpected Boolean Connective. Logica Universalis Sérgio Marcelino
2022	Misc	`conf`	Computational Properties of Partial Non-deterministic Matrices and Their Logics. LFCS Sérgio Marcelino, Carlos Caleiro, Pedro Filipe
2022	J	`jnl`	Computational properties of finite PNmatrices. J. Log. Comput. Pedro Filipe, Sérgio Marcelino, Carlos Caleiro
2022	J	`jnl`	Logics of involutive Stone algebras. Soft Comput. Sérgio Marcelino, Umberto Rivieccio
2022	J	`jnl`	Modular many-valued semantics for combined logics. CoRR Carlos Caleiro, Sérgio Marcelino
2022	—	`conf`	Monadicity of Non-deterministic Logical Matrices is Undecidable. NCL Pedro Filipe, Carlos Caleiro, Sérgio Marcelino
2021	J	`jnl`	An unexpected Boolean connective. CoRR Sérgio Marcelino
2021	J	`jnl`	Axiomatizing non-deterministic many-valued generalized consequence relations. Synth. Sérgio Marcelino, Carlos Caleiro
2021	J	`jnl`	Finite axiomatizability of logics of distributive lattices with negation. CoRR Sérgio Marcelino, Umberto Rivieccio
2021	J	`jnl`	Logics of involutive Stone algebras. CoRR Sérgio Marcelino, Umberto Rivieccio
2021	—	`conf`	On Logics of Perfect Paradefinite Algebras. LSFA Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2021	B	`conf`	Proof Search on Bilateralist Judgments over Non-deterministic Semantics. TABLEAUX Vitor Greati, Sérgio Marcelino, João Marcos
2021	J	`jnl`	Proof Search on Bilateralist Judgments over Non-deterministic Semantics. CoRR Vitor Greati, Sérgio Marcelino, João Marcos
2020	—	`conf`	Infectious semantics and analytic calculi for even more inclusion logics. ISMVL Carlos Caleiro, Sérgio Marcelino, Pedro Filipe
2020	J	`jnl`	Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. Ann. Pure Appl. Log. Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
2019	C	`conf`	Analytic Calculi for Monadic PNmatrices. WoLLIC Carlos Caleiro, Sérgio Marcelino
2019	J	`jnl`	Combining fragments of classical logic: When are interaction principles needed? Soft Comput. Carlos Caleiro, Sérgio Marcelino, João Marcos
2019	J	`jnl`	Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. CoRR Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino
2018	J	`jnl`	Characterizing finite-valuedness. Fuzzy Sets Syst. Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
2018	J	`jnl`	Combining fragments of classical logic: When are interaction principles needed? CoRR Carlos Caleiro, Sérgio Marcelino, João Marcos
2017	C	`conf`	Disjoint Fibring of Non-deterministic Matrices. WoLLIC Sérgio Marcelino, Carlos Caleiro
2017	J	`jnl`	Locally Tabular \(\ne \) Locally Finite. Logica Universalis Sérgio Marcelino, Umberto Rivieccio
2017	—	`conf`	Merging Fragments of Classical Logic. FroCoS Carlos Caleiro, Sérgio Marcelino, João Marcos
2017	J	`jnl`	Merging fragments of classical logic. CoRR Carlos Caleiro, Sérgio Marcelino, João Marcos
2017	J	`jnl`	On the characterization of fibred logics, with applications to conservativity and finite-valuedness. J. Log. Comput. Sérgio Marcelino, Carlos Caleiro
2016	J	`jnl`	Decidability and complexity of fibred logics without shared connectives. Log. J. IGPL Sérgio Marcelino, Carlos Caleiro
2012	B	`conf`	Finite Frames for K4.3 x S5 Are Decidable. Advances in Modal Logic Agi Kurucz, Sérgio Marcelino
2012	J	`jnl`	Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. Dov M. Gabbay, Sérgio Marcelino
2012	J	`jnl`	Non-finitely axiomatisable two-dimensional modal logics. J. Symb. Log. Agi Kurucz, Sérgio Marcelino
2009	J	`jnl`	Modal Logics of Reactive Frames. Stud Logica Dov M. Gabbay, Sérgio Marcelino
2007	J	`jnl`	An algebraic generalization of Kripke structures CoRR Sérgio Marcelino, Pedro Resende