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 - Patrick Thomas - 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 IndustryTerm tableau algorithms / space-efficient algorithms / prefix systems / tableau construction algorithm / tableau systems / tableau construction algorithms / / OperatingSystem L3 / / Person PATRICK BLACKBURN / THOMAS BOLANDER / / Technology tableau construction algorithm / terminating algorithm / tableau construction algorithms / tableau algorithms / / SocialTag Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic

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