VLDB 2026 Research / reviewers in the wild / expert
Olim Frits Tuyt
dblp:243/3853
· DBLP profile ↗
3ranked-venue papers
0as first author
1since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | One-variable fragments of intermediate logics over linear framesabstractA correspondence is established between one-variable fragments of (first-order) intermediate logics defined over a fixed countable linear frame and Gödel modal logics defined over many-valued equivalence relations with values in a closed subset of the real unit interval. It is also shown that each of these logics can be interpreted in the one-variable fragment of the corresponding constant domain intermediate logic, which is equivalent to a Gödel modal logic defined over (crisp) equivalence relations. Although the latter modal logics in general lack the finite model property with respect to their frame semantics, an alternative semantics is defined that has this property and used to establish co-NP-completeness results for the one-variable fragments of the corresponding intermediate logics both with and without constant domains. Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt |
Inf. Comput. | 4 |
| 2020 | A Monadic Logic of Ordered Abelian Groups
George Metcalfe, Olim Frits Tuyt |
AiML | 2 |
| 2019 | The One-Variable Fragment of Corsi Logic
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt |
WoLLIC | 4 |