Skip to content

Cut-Free Modal Theory of Definite Descriptions.

Andrzej Indrzejczak

VenueBAiML
Year2018
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.