{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:31:17Z","timestamp":1775097077956,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030887001","type":"print"},{"value":"9783030887018","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-88701-8_11","type":"book-chapter","created":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T23:06:25Z","timestamp":1634857585000},"page":"176-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Some Modal and Temporal Translations of Generalized Basic Logic"],"prefix":"10.1007","author":[{"given":"Wesley","family":"Fussner","sequence":"first","affiliation":[]},{"given":"William","family":"Zuluaga Botero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,22]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s11225-009-9192-3","volume":"92","author":"S Aguzzoli","year":"2009","unstructured":"Aguzzoli, S., Bianchi, M., Marra, V.: A temporal semantics for basic logic. Studia Logica 92, 147\u2013162 (2009)","journal-title":"Studia Logica"},{"key":"11_CR2","unstructured":"Aguzzoli, S., Gerla, B., Marra, V.: Embedding G\u00f6del propositional logic into Prior\u2019s tense logic. In: Magdalena, L., Ojeda Aciego, M., Verdegay, J. (eds.) Proceedings of 12th International Conference Information Processing and Management of Uncertainty for Knowledge-Based Systems, pp. 992\u2013999 (2008)"},{"key":"11_CR3","volume-title":"Algebraizable Logics","author":"W Blok","year":"1989","unstructured":"Blok, W., Pigozzi, D.: Algebraizable Logics, vol. 77. Memoirs of the American Mathematical Society, New York (1989)"},{"key":"11_CR4","first-page":"75","volume-title":"Algebraic Logic, Colloquia Mathematica Societatis J\u00e1nos Bolyai","author":"W Blok","year":"1991","unstructured":"Blok, W., Pigozzi, D.: Local deduction theorems in algebraic logic. In: Andr\u00e9ka, H., Monk, J., N\u00e9meti, I. (eds.) Algebraic Logic, Colloquia Mathematica Societatis J\u00e1nos Bolyai, vol. 54, pp. 75\u2013109. North-Holland, Amsterdam (1991)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1016\/j.tcs.2008.10.024","volume":"410","author":"S Bova","year":"2009","unstructured":"Bova, S., Montagna, F.: The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor. Comput. Sci. 410, 1143\u20131158 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.: A Course in Universal Algebra. Springer, New York (1981)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF00370331","volume":"51","author":"A Chagrov","year":"1992","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal companions of intermediate propositional logics. Studia Logica 51, 49\u201382 (1992)","journal-title":"Studia Logica"},{"key":"11_CR8","series-title":"Trends in Logic-Studia Logica Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R Cignoli","year":"2000","unstructured":"Cignoli, R., D\u2019Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic-Studia Logica Library, Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s001530200144","volume":"42","author":"R Cignoli","year":"2003","unstructured":"Cignoli, R., Torrens, A.: H\u00e1jek\u2019s basic fuzzy logic and \u0141ukasiewicz infinite-valued logic. Arch. Math. Logic 42, 361\u2013370 (2003)","journal-title":"Arch. Math. Logic"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Esteva, F., Godo, L., Rodr\u00edguez, R.: On the relation between modal and multi-modal logics over \u0141ukasiewicz logic. In: Proceedings of 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Naples, Italy, pp. 1\u20136 (2017)","DOI":"10.1109\/FUZZ-IEEE.2017.8015703"},{"key":"11_CR11","volume-title":"Abstract Algebraic Logic: An Introductory Textbook","author":"J Font","year":"2016","unstructured":"Font, J.: Abstract Algebraic Logic: An Introductory Textbook. College Publications, London (2016)"},{"key":"11_CR12","doi-asserted-by":"publisher","unstructured":"Fussner, W.: Poset products as relational models. Studia Logica (2021). https:\/\/doi.org\/10.1007\/s11225-021-09956-z","DOI":"10.1007\/s11225-021-09956-z"},{"key":"11_CR13","first-page":"305","volume-title":"Witnessed Years: Essays in Honour of Petr H\u00e1jek","author":"N Galatos","year":"2009","unstructured":"Galatos, N., Jipsen, P.: A survey of generalized basic logic algebras. In: Cintula, P., Hanikova, Z., Svejdar, V. (eds.) Witnessed Years: Essays in Honour of Petr H\u00e1jek, pp. 305\u2013331. College Publications, London (2009)"},{"key":"11_CR14","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s11225-006-8305-5","volume":"83","author":"N Galatos","year":"2006","unstructured":"Galatos, N., Ono, H.: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over $${ FL}$$. Studia Logica 83, 279\u2013308 (2006)","journal-title":"Studia Logica"},{"key":"11_CR16","series-title":"Trends in Logic-Studia Logica Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Trends in Logic-Studia Logica Library, Kluwer, Dordrecht (1998)"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/j.apal.2009.05.005","volume":"161","author":"P Jipsen","year":"2009","unstructured":"Jipsen, P.: Generalizations of Boolean products for lattice-ordered algebras. Ann. Pure Appl. Logic 161, 228\u2013234 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/s00012-006-1960-6","volume":"55","author":"P Jipsen","year":"2006","unstructured":"Jipsen, P., Montagna, F.: On the structure of generalized BL-algebras. Algebra Universalis 55, 226\u2013237 (2006)","journal-title":"Algebra Universalis"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s00012-009-2106-4","volume":"60","author":"P Jipsen","year":"2009","unstructured":"Jipsen, P., Montagna, F.: The Blok-Ferreirim theorem for normal GBL-algebras and its applications. Algebra Universalis 60, 381\u2013404 (2009)","journal-title":"Algebra Universalis"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"1559","DOI":"10.1016\/j.jpaa.2009.11.015","volume":"214","author":"P Jipsen","year":"2010","unstructured":"Jipsen, P., Montagna, F.: Embedding theorems for classes of GBL-algebras. J. Pure Appl. Algebra 214, 1559\u20131575 (2010)","journal-title":"J. Pure Appl. Algebra"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.jalgebra.2013.11.019","volume":"402","author":"G Metcalfe","year":"2014","unstructured":"Metcalfe, G., Montagna, F., Tsinakis, C.: Amalgamation and interpolation in ordered algebras. J. Algebra 402, 21\u201382 (2014)","journal-title":"J. Algebra"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P., Pym, D.: The logic of bunched implications. Bull. Symb. Logic 5, 215\u2013244 (1999)","journal-title":"Bull. Symb. Logic"},{"key":"11_CR23","volume-title":"Time and Modality","author":"A Prior","year":"1957","unstructured":"Prior, A.: Time and Modality. Clarendon Press, Oxford (1957)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88701-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T00:48:35Z","timestamp":1634863715000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88701-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030887001","9783030887018"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88701-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"22 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marseille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2021","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":"ramics2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics19.lis-lab.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}