Skip to content

Completeness and incompleteness in first-order modal logic: an overview.

Valentin B. Shehtman

VenueBAiML
Year2006
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.