Abstract
In this section, we shall use Theorem 5.49 in order to obtain negative results, i.e. in order to show that a model completion does not exist for many equational theories containing K4. Let n be the n-elements linearly ordered reflexive chain, that is n is the frame consisting of the set {1, 2, ..., n} ordered by the natural order ≤. n* is the frame obtained by n by replacing 1 by a two-elements cluster, that is n* has {1+, 1-, 2, ..., n} as underlying set and the order is defined by cases by p ≤ q iff i) either p = 1+ or ii) p = 1- or iii) (p, q ≤ 2 and p ≤ q).
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
Ghilardi, S., Zawadowski, M. (2002). Model Completions in Modal Logic. In: Sheaves, Games, and Model Completions. Trends in Logic, vol 14. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9936-8_6
Download citation
DOI: https://doi.org/10.1007/978-94-015-9936-8_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6036-5
Online ISBN: 978-94-015-9936-8
eBook Packages: Springer Book Archive