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

Grigory Olkhovikov

  1. Definable Classes of Models and Frames in Bi-intuitionistic Logic
    2026/07/21 by Guillermo Badia, Tomasz Kowalski, Grigory Olkhovikov
    #math.LO