Sérgio Marcelino

Orcid: 0000-0002-6941-7555

According to our database1, Sérgio Marcelino authored at least 30 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Modular Many-Valued Semantics for combined Logics.
J. Symb. Log., 2024

Axiomatizing the Logic of Ordinary Discourse.
CoRR, 2024

Generating proof systems for three-valued propositional logics.
CoRR, 2024

Finite Hilbert systems for Weak Kleene logics.
CoRR, 2024

2023
Finite axiomatizability of logics of distributive lattices with negation.
Log. J. IGPL, May, 2023

Some more theorems on structural entailment relations and non-deterministic semantics.
CoRR, 2023

Adding an Implication to Logics of Perfect Paradefinite Algebras.
CoRR, 2023

2022
Logics of involutive Stone algebras.
Soft Comput., 2022

An Unexpected Boolean Connective.
Logica Universalis, 2022

Computational properties of finite PNmatrices.
J. Log. Comput., 2022

Monadicity of Non-deterministic Logical Matrices is Undecidable.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Computational Properties of Partial Non-deterministic Matrices and Their Logics.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021
Axiomatizing non-deterministic many-valued generalized consequence relations.
Synth., 2021

On Logics of Perfect Paradefinite Algebras.
Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Proof Search on Bilateralist Judgments over Non-deterministic Semantics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.
Ann. Pure Appl. Log., 2020

Infectious semantics and analytic calculi for even more inclusion logics.
Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

2019
Combining fragments of classical logic: When are interaction principles needed?
Soft Comput., 2019

Analytic Calculi for Monadic PNmatrices.
Proceedings of the Logic, Language, Information, and Computation, 2019

2018
Characterizing finite-valuedness.
Fuzzy Sets Syst., 2018

2017
Locally Tabular \(\ne \) Locally Finite.
Logica Universalis, 2017

On the characterization of fibred logics, with applications to conservativity and finite-valuedness.
J. Log. Comput., 2017

Disjoint Fibring of Non-deterministic Matrices.
Proceedings of the Logic, Language, Information, and Computation, 2017

Merging Fragments of Classical Logic.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016
Decidability and complexity of fibred logics without shared connectives.
Log. J. IGPL, 2016

2012
Non-finitely axiomatisable two-dimensional modal logics.
J. Symb. Log., 2012

Global view on reactivity: switch graphs and their logics.
Ann. Math. Artif. Intell., 2012

Finite Frames for K4.3 x S5 Are Decidable.
Proceedings of the Advances in Modal Logic 9, 2012

2009
Modal Logics of Reactive Frames.
Stud Logica, 2009

2007
An algebraic generalization of Kripke structures
CoRR, 2007


  Loading...