collaborators

1 paper

math.LO2026

Definable Classes of Models and Frames in Bi-intuitionistic Logic

Guillermo Badia, Tomasz Kowalski, Grigory Olkhovikov

The question of the expressive power of a given logical language with Kripke relational semantics has at least two dimensions: (1) what the language can say about frames, and (2) w…