( en | de | ru )

 

Disambiguation of "Marcelino, Sérgio"

Author of the publication

copydeleteadd this publication to your clipboard
Finite Frames for K4.3 x S5 Are Decidable.

, and . Advances in Modal Logic, page 411-436. College Publications, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sérgio Campos

Sérgio Clementi

Sérgio Costa

Sérgio Mata

Sérgio Daher

 

Other publications of authors with the same name

Combining fragments of classical logic: When are interaction principles needed?, , and . CoRR, (2018)Analytic Calculi for Monadic PNmatrices., and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 84-98. Springer, (2019)Computational Properties of Partial Non-deterministic Matrices and Their Logics., , and . LFCS, volume 13137 of Lecture Notes in Computer Science, page 180-197. Springer, (2022)Merging Fragments of Classical Logic., , and . FroCoS, volume 10483 of Lecture Notes in Computer Science, page 298-315. Springer, (2017)Infectious semantics and analytic calculi for even more inclusion logics., , and . ISMVL, page 224-229. IEEE, (2020)Axiomatizing non-deterministic many-valued generalized consequence relations., and . Synth., 198 (22-S): 5373-5390 (2021)Modular Many-Valued Semantics for combined Logics., and . J. Symb. Log., 89 (2): 583-636 (2024)Global view on reactivity: switch graphs and their logics., and . Ann. Math. Artif. Intell., 66 (1-4): 131-162 (2012)Disjoint Fibring of Non-deterministic Matrices., and . WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 242-255. Springer, (2017)Locally Tabular \(\) Locally Finite., and . Logica Universalis, 11 (3): 383-400 (2017)