Abstract
Before we turn to more general conditions for decidability and learn new methods, let us obtain some immediate results and give several non-trivial examples in full details.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1976 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Gabbay, D.M. (1976). Some Decidability Results. In: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics. Synthese Library, vol 92. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1453-3_18
Download citation
DOI: https://doi.org/10.1007/978-94-010-1453-3_18
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1455-7
Online ISBN: 978-94-010-1453-3
eBook Packages: Springer Book Archive