Olim Tuyt

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Datalog Queries

Top Venues

Publications

Ricardo Oscar Rodríguez, Olim Tuyt, Lluís Godo, Francesc Esteva
Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions. CoRR (2021)
George Metcalfe, Olim Tuyt
A Monadic Logic of Ordered Abelian Groups. AiML (2020)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Tuyt
The One-Variable Fragment of Corsi Logic. WoLLIC (2019)