Skip to content

Completeness of the finitary Moss logic.

Clemens Kupke, Alexander Kurz, Yde Venema

VenueBAiML
Year2008
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.