Skip to content

Interpolation and Beth Definability over the Minimal Logic.

Larisa Maksimova

VenueBAiML
Year2012
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.