Tableau Development for a Bi-Intuitionistic Tense Logic? John G. Stell1 , Renate A. Schmidt2 , and David Rydeheard2 1 2

First Page		Document Content
Date: 2014-01-31 13:35:41		Tableau Development for a Bi-Intuitionistic Tense Logic? John G. Stell1 , Renate A. Schmidt2 , and David Rydeheard2 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 403,84 KB Share Document on Facebook