Completeness and Termination for a Seligman-style Tableau System Patrick Blackburn∗ Thomas Bolander†

First Page		Document Content
Date: 2015-07-16 05:18:11		Completeness and Termination for a Seligman-style Tableau System Patrick Blackburn∗ Thomas Bolander† Add to Reading List Source URL: www.patrickblackburn.org Download Document from Source Website File Size: 473,94 KB Share Document on Facebook