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

First Page	Meta Content
	Tableau Development for a Bi-Intuitionistic Tense Logic? John G. Stell1 , Renate A. Schmidt2 , and David Rydeheard2 1 2 Add to Reading List Document Date: 2014-01-31 13:35:41 Open Document File Size: 403,84 KB Share Result on Facebook

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