There are several varieties of tableaus for modal logic. This book uses a version of prefixed tableaus. These incorporate a kind of naming device for possible worlds into the tableau mechanism, and do so in such a way that syntactic features of prefixes reflect semantic features of worlds. Prefixed tableau systems exist for most standard modal logics. Here I only give versions for K and 85 since these are the extreme cases. I refer you to the literature for modifications appropriate for other modal logics—see [FM9S] for instance.
KeywordsModal Logic Atomic Formula Predicate Abstraction Closure Rule Intensional Predication
Unable to display preview. Download preview PDF.