{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:40:09Z","timestamp":1729651209123,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/fuzz-ieee.2017.8015703","type":"proceedings-article","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T20:55:37Z","timestamp":1503608137000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["On the relation between modal and multi-modal logics over \u0141ukasiewicz logic"],"prefix":"10.1109","author":[{"given":"Francese","family":"Esteva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lluis","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo Oscar","family":"Rodriguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.05.007"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","article-title":"Metamathematics of Fuzzy Logic","author":"h\u00e1jek","year":"1998","journal-title":"Trends in Logic 4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.03.005"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9396-9"},{"key":"ref14","first-page":"407","article-title":"A Hennessy-Milner Property for Many-Valued Modal Logics","author":"marti","year":"2014","journal-title":"Advances in Modal Logics"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-005-0281-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080179"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exv046"},{"key":"ref4","first-page":"183","article-title":"A finite model property for Gödel modal logics","author":"caicedo","year":"2013","journal-title":"Proc of TACL 2013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp062"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs036"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9230-1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(96)00126-0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40581-0_9"},{"key":"ref2","first-page":"1541","article-title":"Characterizing Fuzzy Modal Semantics through a Crisp Multimodal System","author":"bou","year":"2009","journal-title":"Proc IFSA-EUSFLAT"},{"key":"ref1","first-page":"774","article-title":"Finite-valued Lukasiewicz modal logic is PSPACE-complete","volume":"2","author":"bou","year":"2011","journal-title":"Proceedings IJCAI 11"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2015.2426724"}],"event":{"name":"2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2017,7,9]]},"location":"Naples, Italy","end":{"date-parts":[[2017,7,12]]}},"container-title":["2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8011834\/8015374\/08015703.pdf?arnumber=8015703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T19:50:30Z","timestamp":1570045830000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8015703\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2017.8015703","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}