Picture for Olim Tuyt

Olim Tuyt

Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions

Add code
May 13, 2021
Viaarxiv icon