Decision Analytic Method - Document - PDFSEARCH.IO

First Page	Meta Content
	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Document Date: 2007-04-02 08:29:00 Open Document File Size: 301,61 KB Share Result on Facebook

UPDATE

TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List