Srgio Marcelino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2012–2025
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TABLEAUX | Analytic Calculi for Logics of Indicative Conditionals. | Vitor Greati, Srgio Marcelino, Miguel Muoz Prez, Umberto Rivieccio |
| 2024 | SEFM | Higher-Order Arrows for Path-Dependent Many-Valued Systems. | Srgio Marcelino |
| 2022 | LFCS | Computational Properties of Partial Non-deterministic Matrices and Their Logics. | Srgio Marcelino, Carlos Caleiro, Pedro Filipe |
| 2021 | TABLEAUX | Proof Search on Bilateralist Judgments over Non-deterministic Semantics. | Vitor Greati, Srgio Marcelino, Joo Marcos |
| 2019 | WoLLIC | Analytic Calculi for Monadic PNmatrices. | Carlos Caleiro, Srgio Marcelino |
| 2017 | WoLLIC | Disjoint Fibring of Non-deterministic Matrices. | Srgio Marcelino, Carlos Caleiro |
| 2012 | AiML | Finite Frames for K4.3 x S5 Are Decidable. | Agi Kurucz, Srgio Marcelino |