Olim Frits Tuyt

According to our database, Olim Frits Tuyt authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions.

Ricardo Oscar Rodríguez, Olim Frits Tuyt, Francesc Esteva, Lluís Godo

Stud Logica, 2022

One-variable fragments of intermediate logics over linear frames.

Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt

Inf. Comput., 2022

2020

A Monadic Logic of Ordered Abelian Groups.

George Metcalfe, Olim Frits Tuyt

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

The One-Variable Fragment of Corsi Logic.

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt

Proceedings of the Logic, Language, Information, and Computation, 2019