{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,11]],"date-time":"2026-08-11T20:24:55Z","timestamp":1786479895050,"version":"build-2736575974"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,2,18]],"date-time":"2010-02-18T00:00:00Z","timestamp":1266451200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11225-010-9230-1","type":"journal-article","created":{"date-parts":[[2010,2,17]],"date-time":"2010-02-17T15:08:26Z","timestamp":1266419306000},"page":"189-214","source":"Crossref","is-referenced-by-count":58,"title":["Standard G\u00f6del Modal Logics"],"prefix":"10.1007","volume":"94","author":[{"given":"Xavier","family":"Caicedo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ricardo O.","family":"Rodriguez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,2,18]]},"reference":[{"key":"9230_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation, Applications","author":"F. Baader","year":"2003","unstructured":"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"},{"key":"9230_CR2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M. Baaz","year":"2007","unstructured":"Baaz M., Preining N., Zach R. (2007) \u2018First-Order G\u00f6del Logics\u2019. Annals of Pure and Applied Logic 147: 23\u201347","journal-title":"Annals of Pure and Applied Logic"},{"key":"9230_CR3","doi-asserted-by":"crossref","unstructured":"Baaz, M., and R. Zach, \u2018Compact Propositional Logics\u2019, Proc. International Symp on multiple valued logic, IEEE Computer Society Press, 1998, pp. 108\u2013113.","DOI":"10.1109\/ISMVL.1998.679315"},{"key":"9230_CR4","unstructured":"Bou, F., F. Esteva, and L. Godo, \u2018Exploring a syntactic notion of modal manyvalued logics\u2019, Mathware and Soft Computing, 15, Number 2, 175\u2013188, 2008."},{"key":"9230_CR5","doi-asserted-by":"crossref","unstructured":"Boz\u0306i\u0107 M., Dos\u0306en K. (1984) Models for Normal Intuitionistic Modal Logics, Studia Logica 43, Number 3, 217\u2013245","DOI":"10.1007\/BF02429840"},{"key":"9230_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov A., Zakharyaschev M. (1997) Modal Logic. Clarendon Press, Oxford"},{"key":"9230_CR7","unstructured":"Esteva, F., L.Godo and C. Noguera, \u2018On rational weak nilpotent minimum logics\u2019, Journal of Multiple-Valued Logic and Soft Computing 12, Number 1-2, 9\u201332, 2006."},{"key":"9230_CR8","first-page":"179","volume":"42","author":"G. Fischer Servi","year":"1984","unstructured":"Fischer Servi G. (1984) \u2018Axiomatizations for some intutitionistic modal logics\u2019. Rend. Sem. Mat. Polit de Torino 42: 179\u2013194","journal-title":"Rend. Sem. Mat. Polit de Torino"},{"key":"9230_CR9","doi-asserted-by":"crossref","unstructured":"Fitting M. (1991) \u2018Many valued modal logics\u2019. Fundamenta Informaticae 15: 325\u2013254","DOI":"10.3233\/FI-1991-153-404"},{"key":"9230_CR10","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"M. Fitting","year":"1992","unstructured":"Fitting M. (1992) \u2018Many valued modal logics. II\u2019. Fundamenta Informaticae 17: 55\u201373","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"9230_CR11","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1305\/ndjfl\/1093636766","volume":"27","author":"J.M. Font","year":"1986","unstructured":"Font J.M. (1986) \u2018Modality and Possibility in some intuitionistic modal logics\u2019. Notre Dame Journal of Formal Logic 27(4): 533\u2013546","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9230_CR12","doi-asserted-by":"crossref","unstructured":"Godo, L., and R. O. Rodr\u00edguez, \u2018A fuzzy modal logic for similarity reasoning\u2019, in Guoqing Chen, Mingsheng Ying, and Kai-Yuan Cai (eds.), Fuzzy Logic and Soft Computing, Vol. 6. Kluwer Academic, 1999.","DOI":"10.1007\/978-1-4615-5261-1_3"},{"key":"9230_CR13","unstructured":"Grefe, C., \u2018Fischer Servis intuitionistic modal logic has the finite model property\u2019, in M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev (eds.), Advances in Modal Logic Vol. 1, CSLI, Stanford, 1998, pp. 85\u201398."},{"key":"9230_CR14","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., Metamathematics of fuzzy logic, Trends in Logic, Vol. 4, Kluwer Academic Publishers, Dordrecht, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"9230_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P. H\u00e1jek","year":"2005","unstructured":"H\u00e1jek P. (2005) \u2018Making fuzzy description logic more General\u2019. Fuzzy Sets and Systems 154: 1\u201315","journal-title":"Fuzzy Sets and Systems"},{"key":"9230_CR16","doi-asserted-by":"crossref","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A. Horn","year":"1969","unstructured":"Horn A. (1969) \u2018Logic with truth values in a linearly ordered Heyting algebra\u2019. J. Symbolic Logic 34: 395\u2013408","journal-title":"J. Symbolic Logic"},{"key":"9230_CR17","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., and N. Olivetti, \u2018Proof Systems for a G\u00f6del Modal Logic\u2019, in M. Giese and A. Waaler (eds.), Proceedings of TABLEAUX 2009, volume 5607 of LNAI. Springer, 265\u2013279, 2009.","DOI":"10.1007\/978-3-642-02716-1_20"},{"key":"9230_CR18","first-page":"13","volume":"13","author":"H. Ono","year":"1977","unstructured":"Ono H. (1977) On some intutionistic modal logics. Publications of the Research Institute for Mathematical Sciences, Kyoto University 13: 13\u201355","journal-title":"Publications of the Research Institute for Mathematical Sciences, Kyoto University"},{"key":"9230_CR19","doi-asserted-by":"crossref","unstructured":"Pavelka, J., \u2018On fuzzy logic I, II, III\u2019, Zeitschr. f. Math. Logik un Grundl. der Math. 25, 45\u201352, 119\u2013134, 447\u2013464, 1979.","DOI":"10.1002\/malq.19790252510"},{"issue":"3","key":"9230_CR20","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1004916107078","volume":"58","author":"F. Wolter","year":"1997","unstructured":"Wolter F. (1997) \u2018Superintuitionistic Companions of Classical Modal Logics\u2019. Studia Logica 58(3): 229\u2013295","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9230-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9230-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9230-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T16:05:53Z","timestamp":1739894753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9230-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,18]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["9230"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9230-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,18]]}}}