Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Fitting, M. (2002). Modal Tableaus. In: Types, Tableaus, and Gödel’s God. Trends in Logic, vol 12. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0411-4_8
Download citation
DOI: https://doi.org/10.1007/978-94-010-0411-4_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3912-3
Online ISBN: 978-94-010-0411-4
eBook Packages: Springer Book Archive