vix.ing · top · new · best · stats · spec

Tuyt, Olim

  1. Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
    2021/05/13 by Rodriguez, Ricardo, Tuyt, Olim, Godo, Lluis +1 · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO)