{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:33:14Z","timestamp":1725453194068},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We consider shifted products of modal algebras and logics first introduced by Y. Hasimoto in 2000. For logics this operation is similar to the well-known usual product but it is logically invariant. We prove the conjecture of D. Gabbay that shifted products act on Boolean algebras exactly as tensor products, so we call them tensor products of modal algebras. We also propose a filtration technique for models based on tensor products and obtain some decidability results.<\/jats:p>","DOI":"10.29007\/mtw5","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T17:59:06Z","timestamp":1516730346000},"page":"199-193","source":"Crossref","is-referenced-by-count":0,"title":["Tensor products of modal logics"],"prefix":"10.29007","volume":"25","author":[{"given":"Ilya","family":"Shapirovskiy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Shehtman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T17:59:06Z","timestamp":1516730346000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/nJH"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/mtw5","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}