Skip to content

An Overview of Interpretability Logic.

Albert Visser

VenueBAiML
Year1996
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.