Abstract
We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this logic has the finite model property. Analogues of the classical modal systems D, T, S4 and S5 are considered also, and the completeness results are extended to languages enriched with a discrete well ordered set of truth constants.
Similar content being viewed by others
References
Baader F., Calvanese D., Mcguinness D.L., Nardo D., Patel-Schneider P.F. (2003) The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge
Baaz M., Preining N., Zach R. (2007) ‘First-Order Gödel Logics’. Annals of Pure and Applied Logic 147: 23–47
Baaz, M., and R. Zach, ‘Compact Propositional Logics’, Proc. International Symp on multiple valued logic, IEEE Computer Society Press, 1998, pp. 108–113.
Bou, F., F. Esteva, and L. Godo, ‘Exploring a syntactic notion of modal manyvalued logics’, Mathware and Soft Computing, 15, Number 2, 175–188, 2008.
Boz̆ić M., Dos̆en K. (1984) Models for Normal Intuitionistic Modal Logics, Studia Logica 43, Number 3, 217–245
Chagrov A., Zakharyaschev M. (1997) Modal Logic. Clarendon Press, Oxford
Esteva, F., L.Godo and C. Noguera, ‘On rational weak nilpotent minimum logics’, Journal of Multiple-Valued Logic and Soft Computing 12, Number 1-2, 9–32, 2006.
Fischer Servi G. (1984) ‘Axiomatizations for some intutitionistic modal logics’. Rend. Sem. Mat. Polit de Torino 42: 179–194
Fitting M. (1991) ‘Many valued modal logics’. Fundamenta Informaticae 15: 325–254
Fitting M. (1992) ‘Many valued modal logics. II’. Fundamenta Informaticae 17: 55–73
Font J.M. (1986) ‘Modality and Possibility in some intuitionistic modal logics’. Notre Dame Journal of Formal Logic 27(4): 533–546
Godo, L., and R. O. Rodríguez, ‘A fuzzy modal logic for similarity reasoning’, in Guoqing Chen, Mingsheng Ying, and Kai-Yuan Cai (eds.), Fuzzy Logic and Soft Computing, Vol. 6. Kluwer Academic, 1999.
Grefe, C., ‘Fischer Servis intuitionistic modal logic has the finite model property’, in M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev (eds.), Advances in Modal Logic Vol. 1, CSLI, Stanford, 1998, pp. 85–98.
Hájek, P., Metamathematics of fuzzy logic, Trends in Logic, Vol. 4, Kluwer Academic Publishers, Dordrecht, 1998.
Hájek P. (2005) ‘Making fuzzy description logic more General’. Fuzzy Sets and Systems 154: 1–15
Horn A. (1969) ‘Logic with truth values in a linearly ordered Heyting algebra’. J. Symbolic Logic 34: 395–408
Metcalfe, G., and N. Olivetti, ‘Proof Systems for a Gödel Modal Logic’, in M. Giese and A. Waaler (eds.), Proceedings of TABLEAUX 2009, volume 5607 of LNAI. Springer, 265–279, 2009.
Ono H. (1977) On some intutionistic modal logics. Publications of the Research Institute for Mathematical Sciences, Kyoto University 13: 13–55
Pavelka, J., ‘On fuzzy logic I, II, III’, Zeitschr. f. Math. Logik un Grundl. der Math. 25, 45–52, 119–134, 447–464, 1979.
Wolter F. (1997) ‘Superintuitionistic Companions of Classical Modal Logics’. Studia Logica 58(3): 229–295
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Caicedo, X., Rodriguez, R.O. Standard Gödel Modal Logics. Stud Logica 94, 189–214 (2010). https://doi.org/10.1007/s11225-010-9230-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9230-1