Publication Types:

Sort by year:

Tableaux for Exact Entailment (Presentation)

Presentations
Johannes Korbmacher
Publication year: 2018

I develop a tableau method for the logic of exact entailment described in (Fine and Jago 2017). (Handout.)

Elusive Knowledge Hyperintensionalized (Presentation - with Janneke van Lith)

Presentations
Janneke van Lith and Johannes Korbmacher
Publication year: 2018

We show how to modify Lewis’s Relevant Alternatives Theory (RAT) to deal with hyperintensional issues, such as knowledge of logic, mathematics, and interesting failures of closure.