Abstract
This paper presents an algebraic approach of some many-valued generalizations of modal logic. The starting point is the definition of the [0, 1]-valued Kripke models, where [0, 1] denotes the well known MV-algebra. Two types of structures are used to define validity of formulas: the class of frames and the class of Ł n -valued frames. The latter structures are frames in which we specify in each world u the set (a subalgebra of Ł n ) of the allowed truth values of the formulas in u. We apply and develop algebraic tools (namely, canonical and strong canonical extensions) to generate complete modal n + 1-valued logics and we obtain many-valued counterparts of Shalqvist canonicity result.
Similar content being viewed by others
References
Blackburn, P., M. de Rijke, and Y. Venema, Modal logic, Cambridge Tracts in Theoretical Computer Science, Volume 53, Cambridge University Press, Cambridge, 2001.
Bou, F., F. Esteva, L. Godo, and R. Rodriguez, On the minimum Many-Valued Modal Logic over a Finite Residuated Lattice, 0811.2107, 2008.
Caicedo, X., and R. O. Rodriguez, Standard Gödel modal logics, Studia Logica 94(2):189–214, 2010, MR MR2602572.
Chagrov, A., and M. 1306 Zakharyaschev, Modal Logic, Oxford Logic Guides, Volume 35, The Clarendon Press/Oxford University Press/Oxford Science Publications, New York, 1997.
Chang, C. C., Algebraic analysis of many valued logics, Transactions of the American Mathematical Society 88:467–490, 1958.
Chang C.C.: A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society 93, 74–80 (1959)
Chellas B.F.: Modal Logic An Introduction. Cambridge University Press, Cambridge (1980)
Cignoli, R. L. O., I. M. L. D’Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Trends in Logic—Studia Logica Library, Volume 7, Kluwer Academic Publishers, Dordrecht, 2000.
de Rijke M., Venema Y.: Sahlqvist’s theorem for boolean algebras with operators with an application to cylindric algebras, Studia Logica. An International Journal for Symbolic Logic 54(1), 61–78 (1995)
Fitting M.: Many-valued modal logics. Fundamenta Informaticae 15(3–4), 235–254 (1991)
Fitting M.: Many-valued modal logics. II. Fundamenta Informaticae 17(1–2), 55–73 (1992)
Fitting M.: Tableaus for many-valued modal logic, Studia Logica. An International Journal for Symbolic Logic 55(1), 63–87 (1995)
Gehrke M., Harding J.: Bounded lattice expansions. Journal of Algebra 238(1), 345–371 (2001)
Gehrke M., Jónsson B.: Bounded distributive lattices with operators. Mathematica Japonica 40(2), 207–215 (1994)
Gehrke M., Jónsson B.: Monotone bounded distributive lattice expansions. Mathematica Japonica 52(2), 197–213 (2000)
Gehrke M., Jónsson B.: Bounded distributive lattice expansions. Mathematica Scandinavica 94(1), 13–45 (2004)
Gehrke M., Nagahashi H., Venema Y.: A Sahlqvist theorem for distributive modal logic. Annals of Pure and Applied Logic 131(1–3), 65–102 (2005)
Gispert J., Mundici D.: MV-algebras: a variety for magnitudes with archimedean units. Algebra Universalis 53(1), 7–43 (2005)
Givant S., Venema Y.: The preservation of Sahlqvist equations in completions of Boolean algebras with operators. Algebra Universalis 41(1), 47–84 (1999)
Gottwald, S., A Treatise on Many-Valued Logics, Studies in Logic and Computation, Volume 9, Research Studies Press Ltd., Baldock, 2001.
Hájek, P., Metamathematics of fuzzy logic, Trends in Logic—-Studia Logica Library, Volume 4, Kluwer Academic Publishers, Dordrecht, 1998.
Hansoul, G., and B. Teheux, Completeness results for many-valued Łukasiewicz modal systems and relational semantics, arXiv:math/0612542, 2006.
Jónsson B.: On the canonicity of Sahlqvist identities. Studia Logica. An International Journal for Symbolic Logic 53(4), 473–491 (1994)
Jónsson B., Tarski A.: Boolean algebras with operators. I. American Journal of Mathematics 73, 891–939 (1951)
Jónsson B., Tarski A.: Boolean algebras with operators. II. American Journal of Mathematics 74, 127–162 (1952)
Kripke S.A.: Semantical analysis of modal logic. I. Normal modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9, 67–96 (1963)
Łukasiewicz J.: O logice trójwartościowej. Ruch Filozoficny 5, 170–171 (1920)
Łukasiewicz J., Tarski A..: Untersuchungen über den ausagenkalkül. Compte Rendus Séances Société des Sciences et Lettres Varsovie 23, 30–50 (1930)
Niederkorn P.: Natural dualities for varieties of MV-algebras. I. Journal of Mathematical Analysis and Applications 255(1), 58–73 (2001)
Ostermann P.: Many-valued modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34(4), 343–354 (1988)
Sahlqvist, H., Completeness and correspondence in the first and second order semantics for modal logic, Proceedings of the Third Scandinavian Logic Symposium (University of Uppsala, Uppsala, 1973), Studies in Logic and the Foundations of Mathematics, Volume 82, Amsterdam, North-Holland, 1975, pp. 110–143.
Venema, Y., Algebras and Coalgebras, Studies in Logic and Practical Reasoning, Elsevier, Dordrecht, 2006.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hansoul, G., Teheux, B. Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics. Stud Logica 101, 505–545 (2013). https://doi.org/10.1007/s11225-012-9396-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9396-9