{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:46:52Z","timestamp":1784242012961,"version":"3.55.0"},"reference-count":37,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1093\/logcom\/exv046","type":"journal-article","created":{"date-parts":[[2017,1,23]],"date-time":"2017-01-23T15:25:18Z","timestamp":1485185118000},"page":"299-336","source":"Crossref","is-referenced-by-count":31,"title":["On modal extensions of Product fuzzy logic"],"prefix":"10.1093","volume":"27","author":[{"given":"Amanda","family":"Vidal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesc","family":"Esteva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lluis","family":"Godo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2015,8,10]]},"reference":[{"key":"2017012307250551000_27.1.299.1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp030"},{"key":"2017012307250551000_27.1.299.2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp062"},{"key":"2017012307250551000_27.1.299.3","doi-asserted-by":"crossref","unstructured":"Blondeel M. Flaminio T. Schockaert S. Godo L. De Cock M. On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief. Fuzzy Sets and Systems, Available on line 4 March 2015.","DOI":"10.1016\/j.fss.2015.02.018"},{"key":"2017012307250551000_27.1.299.4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370269"},{"key":"2017012307250551000_27.1.299.5","doi-asserted-by":"crossref","unstructured":"W. J. Blok and D. Pigozzi. Algebraizable Logics. Vol. 396 of Memories of the American Mathematical Society A.M.S., Providence, January 1989.","DOI":"10.1090\/memo\/0396"},{"key":"2017012307250551000_27.1.299.6","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-011-0237-8"},{"key":"2017012307250551000_27.1.299.7","unstructured":"M. Cerami, F. Esteva, and F. Bou. Decidability of a description logic over infinite-valued product logic. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9\u201313, 2010, F. Lin, U. Sattler and M. Truszczynski, eds, p. 203\u2013213. AAAI Press, 2010."},{"key":"2017012307250551000_27.1.299.8","doi-asserted-by":"publisher","DOI":"10.1007\/s005000100086"},{"key":"2017012307250551000_27.1.299.9","unstructured":"P. Cintula. From Fuzzy Logic to Fuzzy Mathematics. PhD Thesis, Czech Technical University in Prague, 2004."},{"key":"2017012307250551000_27.1.299.10","unstructured":"Cintula P. A note on axiomatizations of pavelka-style complete fuzzy logics. Fuzzy Sets and Systems, Available online 2 December 2014."},{"key":"2017012307250551000_27.1.299.11","unstructured":"Cintula P. H\u00e1jek P. Noguera C. , eds. Handbook of Mathematical Fuzzy Logic, 2 volumes. Vol. 37 and 38 of Studies in Logic. Mathematical Logic and Foundation . College Publications, 2011."},{"key":"2017012307250551000_27.1.299.12","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200510032"},{"key":"2017012307250551000_27.1.299.13","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2009.09.003"},{"key":"2017012307250551000_27.1.299.14","doi-asserted-by":"crossref","unstructured":"Caicedo X. Metcalfe G. Rodr\u00edguez R. Rogger J. Libkin L. Kohlenbach U. de Queiroz R. A finite model property for G\u00f6del modal logics. In WoLLIC, Lecture Notes in Computer Science 8071, p. 226\u2013237, 2013.","DOI":"10.1007\/978-3-642-39992-3_20"},{"key":"2017012307250551000_27.1.299.15","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9230-1"},{"key":"2017012307250551000_27.1.299.16","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs036"},{"key":"2017012307250551000_27.1.299.17","doi-asserted-by":"crossref","unstructured":"Chagrov A. Zakharyaschev M. Modal Logic. Vol. 35 of Oxford Logic Guides . Oxford University Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"2017012307250551000_27.1.299.18","first-page":"45","article-title":"An algebraic analysis of product logic","volume":"5","author":"Cignoli","year":"2000","journal-title":"Multiple-valued Logic"},{"key":"2017012307250551000_27.1.299.19","doi-asserted-by":"crossref","unstructured":"Czelakowski J. Protoalgebraic logics. Vol. 10 of Trends in Logic\u2014Studia Logica Library . Kluwer Academic Publishers, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"key":"2017012307250551000_27.1.299.20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2010.08.014"},{"key":"2017012307250551000_27.1.299.21","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537472.003.0009","article-title":"Possibilistic logic","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","volume":"3","author":"Dubois","year":"1994"},{"key":"2017012307250551000_27.1.299.22","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2003.10.011"},{"key":"2017012307250551000_27.1.299.23","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050006"},{"key":"2017012307250551000_27.1.299.24","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050173"},{"issue":"1\u20132","key":"2017012307250551000_27.1.299.25","first-page":"13","volume":"74","author":"Font","year":"2003","journal-title":"A survey on abstract algebraic logic. Studia Logica, Special Issue on Abstract Algebraic Logic, Part II"},{"key":"2017012307250551000_27.1.299.26","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P. Metamathematics of fuzzy logic, vol. 4 Trends in Logic\u2014Studia Logica Library . Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"2017012307250551000_27.1.299.27","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2009.11.011"},{"key":"2017012307250551000_27.1.299.28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01268618"},{"key":"2017012307250551000_27.1.299.29","doi-asserted-by":"crossref","unstructured":"P. H\u00e1jek, D. Harmancov\u00e1, F. Esteva, P. Garcia and L. Godo. On modal logics for qualitative possibility in a fuzzy setting. In Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (UAI-94), R. L\u00f3pez de M\u00e1ntaras and D. Poole, eds, p. 278\u2013285, San Francisco, CA, 1994. Morgan Kaufmann.","DOI":"10.1016\/B978-1-55860-332-5.50040-7"},{"key":"2017012307250551000_27.1.299.30","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9396-9"},{"key":"2017012307250551000_27.1.299.31","doi-asserted-by":"publisher","DOI":"10.1007\/s00010-004-2759-1"},{"key":"2017012307250551000_27.1.299.32","first-page":"13","article-title":"Modal equivalential logics","volume":"3","author":"Malinowski","year":"1986","journal-title":"Journal of Non-Classical Logic"},{"key":"2017012307250551000_27.1.299.33","doi-asserted-by":"crossref","unstructured":"Montagna F. Notes on strong completeness in \u0141ukasiewicz, product and BL logics and in their first-order extensions. In Algebraic and Proof-theoretic Aspects of Non-classical Logics, p. 247\u2013274, 2006.","DOI":"10.1007\/978-3-540-75939-3_15"},{"key":"2017012307250551000_27.1.299.34","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exl002"},{"key":"2017012307250551000_27.1.299.35","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19880340411"},{"key":"2017012307250551000_27.1.299.36","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi075"},{"key":"2017012307250551000_27.1.299.37","unstructured":"Vidal A. Esteva F. Godo L. About standard completeness of product logic. In Proceedings of the XVII Congreso Espa\u00f1ol sobre Tecnolog\u00edas y L\u00f3gica Fuzzy (ESTYLF 2014), p. 423\u2013428, Zaragoza, 05\/02\/2014 2014."}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/1\/299\/9688266\/exv046.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,22]],"date-time":"2024-06-22T00:33:19Z","timestamp":1719016399000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exv046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,10]]},"references-count":37,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,23]]},"published-print":{"date-parts":[[2017,2]]}},"alternative-id":["10.1093\/logcom\/exv046"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv046","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,10]]}}}