Skip to content

Post Completeness in Congruential Modal Logics.

Peter Fritz

VenueBAiML
Year2016
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.