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.)