{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:27:56Z","timestamp":1743136076212,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031089701"},{"type":"electronic","value":"9783031089718"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-08971-8_55","type":"book-chapter","created":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T23:02:52Z","timestamp":1656889372000},"page":"676-688","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Rotations of\u00a0G\u00f6del Algebras with\u00a0Modal Operators"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9180-7808","authenticated-orcid":false,"given":"Tommaso","family":"Flaminio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6929-3126","authenticated-orcid":false,"given":"Lluis","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9395-107X","authenticated-orcid":false,"given":"Paula","family":"Mench\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7551-2877","authenticated-orcid":false,"given":"Ricardo O.","family":"Rodriguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,7,4]]},"reference":[{"key":"55_CR1","unstructured":"Aguzzoli, S., Bova, S., Gerla, B.: Free algebras and functional representation for fuzzy logics. In: Cintula, P., et al. (eds.) Handbook of Mathematical Fuzzy Logic, Chapter IX, vol. 2. Studies in Logic, vol. 38, pp. 713\u2013791. College Publications (2011)"},{"key":"55_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"55_CR3","doi-asserted-by":"crossref","unstructured":"Bou, F., Esteva, F., Godo, L., Rodriguez, R.: On the minimum many-values modal logic over a finite residuated lattice. JL&C 21(5), 739\u2013790 (2011)","DOI":"10.1093\/logcom\/exp062"},{"issue":"3","key":"55_CR4","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/malq.200510027","volume":"52","author":"M Busaniche","year":"2006","unstructured":"Busaniche, M.: Free nilpotent minimum algebras. Math. Logic Quart. 52(3), 219\u2013236 (2006)","journal-title":"Math. Logic Quart."},{"issue":"2","key":"55_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11225-010-9230-1","volume":"94","author":"X Caicedo","year":"2010","unstructured":"Caicedo, X., Rodriguez, R.O.: Standard G\u00f6del modal logics. Stud. Logica 94(2), 189\u2013214 (2010)","journal-title":"Stud. Logica"},{"issue":"1","key":"55_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1093\/logcom\/exs036","volume":"25","author":"X Caicedo","year":"2015","unstructured":"Caicedo, X., Rodriguez, R.O.: Bi-modal G\u00f6del logic over $$[0, 1]$$-valued Kripke frames. J. Logic Comput. 25(1), 37\u201355 (2015)","journal-title":"J. Logic Comput."},{"issue":"1","key":"55_CR7","first-page":"1","volume":"14","author":"D Diaconescu","year":"2018","unstructured":"Diaconescu, D., Metcalfe, G., Schn\u00fcriger, L.: A real-valued modal logic. Logical Methods Comput. Sci. 14(1), 1\u201327 (2018)","journal-title":"Logical Methods Comput. Sci."},{"key":"55_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"55_CR9","doi-asserted-by":"publisher","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"MC Fitting","year":"1991","unstructured":"Fitting, M.C.: Many-valued modal logics. Fundam. Informat. 15, 235\u2013254 (1991)","journal-title":"Fundam. Informat."},{"key":"55_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"MC Fitting","year":"1992","unstructured":"Fitting, M.C.: Many-valued modal logics II. Fundam. Informat. 17, 55\u201373 (1992)","journal-title":"Fundam. Informat."},{"key":"55_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-662-59533-6_14","volume-title":"Logic, Language, Information, and Computation","author":"T Flaminio","year":"2019","unstructured":"Flaminio, T., Godo, L., Rodr\u00edguez, R.O.: A representation theorem for finite G\u00f6del algebras with operators. In: Iemhoff, R., Moortgat, M., de Queiroz, R. (eds.) WoLLIC 2019. LNCS, vol. 11541, pp. 223\u2013235. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-662-59533-6_14"},{"key":"55_CR12","unstructured":"Flaminio, T., Godo, L., Mench\u00f3n, P., Rodriguez, R.O.: Algebras and relational frames for G\u00f6del modal logic and some of its extensions. arXiv:2110.02528. Submitted"},{"key":"55_CR13","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"18","key":"55_CR14","doi-asserted-by":"publisher","first-page":"2389","DOI":"10.1016\/j.fss.2009.11.011","volume":"161","author":"P H\u00e1jek","year":"2010","unstructured":"H\u00e1jek, P.: On fuzzy modal logics $$S5(\\mathscr {C})$$. Fuzzy Sets Syst. 161(18), 2389\u20132396 (2010)","journal-title":"Fuzzy Sets Syst."},{"issue":"3","key":"55_CR15","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/s11225-012-9396-9","volume":"101","author":"G Hansoul","year":"2013","unstructured":"Hansoul, G., Teheux, B.: Extending \u0142ukasiewicz logics with a modality: algebraic approach to relational semantics. Stud. Logica 101(3), 505\u2013545 (2013)","journal-title":"Stud. Logica"},{"issue":"2","key":"55_CR16","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1002\/1521-3870(200105)47:2<187::AID-MALQ187>3.0.CO;2-J","volume":"47","author":"Y Hasimoto","year":"2001","unstructured":"Hasimoto, Y.: Heyting algebras with operators. Math. Logic. Quart. 47(2), 187\u2013196 (2001)","journal-title":"Math. Logic. Quart."},{"key":"55_CR17","doi-asserted-by":"publisher","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A Horn","year":"1969","unstructured":"Horn, A.: Logic with truth values in a linearly ordered Heyting algebra. J. Symbol. Logic 34, 395\u2013405 (1969)","journal-title":"J. Symbol. Logic"},{"key":"55_CR18","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s00153-002-0165-8","volume":"42","author":"S Jenei","year":"2003","unstructured":"Jenei, S.: On the structure of rotation invariant semigroups. Archiv. Math. Logic 42, 489\u2013514 (2003)","journal-title":"Archiv. Math. Logic"},{"issue":"3","key":"55_CR19","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1093\/jigpal\/jzt043","volume":"22","author":"H Ono","year":"2014","unstructured":"Ono, H., Rivieccio, U.: Modal twist-structures over residuated lattices. Log. J. IGPL 22(3), 440\u2013457 (2014)","journal-title":"Log. J. IGPL"},{"key":"55_CR20","unstructured":"Mench\u00f3n, P., Rodriguez, R.O.: Twist-structures isomorphic to modal nilpotent minimum algebras. Book of Abstracts of First Meeting Brazil-Colombia in Logic, Bogot\u00e1, Colombia, 14\u201317 December 2021 (2021)"},{"key":"55_CR21","first-page":"275","volume":"81","author":"E Or\u0142owska","year":"2007","unstructured":"Or\u0142owska, E., Rewitzky, I.: Discrete dualities for Heyting algebras with operators. Fundam. Informat. 81, 275\u2013295 (2007)","journal-title":"Fundam. Informat."},{"key":"55_CR22","unstructured":"Palmigiano, A.: Dualities for intuitionistic modal logics. In: Liber Amicorum for Dick de Jongh, Institute for Logic, Language and Computation, pp. 151\u2013167. University of Amsterdam (2004). http:\/\/festschriften.illc.uva.nl\/D65\/palmigiano.pdf"},{"issue":"2","key":"55_CR23","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1017\/S1755020308080179","volume":"1","author":"G Priest","year":"2008","unstructured":"Priest, G.: Many-valued modal logics: a simple approach. Rev. Symbol. Logic 1(2), 190\u20132013 (2008)","journal-title":"Rev. Symbol. Logic"},{"issue":"1","key":"55_CR24","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/logcom\/exv046","volume":"27","author":"A Vidal","year":"2017","unstructured":"Vidal, A., Esteva, F., Godo, L.: On modal extensions of product fuzzy logic. J. Logic Comput. 27(1), 299\u2013336 (2017)","journal-title":"J. Logic Comput."}],"container-title":["Communications in Computer and Information Science","Information Processing and Management of Uncertainty in Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-08971-8_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T23:18:01Z","timestamp":1656890281000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-08971-8_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031089701","9783031089718"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-08971-8_55","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"4 July 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IPMU","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ipmu2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ipmu2022.disco.unimib.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"188","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"124","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"66% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}