Bezhanishvili, Guram; Kornell, Andre The category of topological spaces and open maps does not have products. (English) Zbl 07940528 Adv. Math. 458, Part A, Article ID 109963, 17 p. (2024). MSC: 18F60 54B10 54C10 06D20 06E25 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kudinov, A. V. Topological product of modal logics with the McKinsey axiom. (English) Zbl 07854739 Dokl. Math. 109, No. 1, 66-72 (2024). MSC: 03Bxx 03Gxx 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Li, Dazhu; Ghosh, Sujata; Liu, Fenrong; Tu, Yaxin A simple logic of the hide and seek game. (English) Zbl 07755335 Stud. Log. 111, No. 5, 821-853 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI Link
Liao, Keng-Te; Huang, Bo-Wei; Yang, Chih-Chun; Lin, Shou-De Bayesian mixture variational autoencoders for multi-modal learning. (English) Zbl 07694466 Mach. Learn. 111, No. 12, 4329-4357 (2022). MSC: 68T05 × Cite Format Result Cite Review PDF Full Text: DOI
Saveliev, Denis I.; Shapirovsky, Ilya Medvedev’s logic and products of converse well orders. (English) Zbl 1531.03048 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 681-696 (2022). MSC: 03B45 03B20 × Cite Format Result Cite Review PDF
Armand, Tsimi Jean; Cedric, Pemha Binyam Gabriel A \(m \Theta\) spectrum of Reed-Muller codes. (English) Zbl 1501.94114 J. Discrete Math. Sci. Cryptography 25, No. 6, 1791-1807 (2022). MSC: 94B60 × Cite Format Result Cite Review PDF Full Text: DOI
Hertling, Peter; Krommes, Gisela EXPSPACE-completeness of the logics \(K4 \times S5\) and \(S4 \times S5\) and the logic of subset spaces. (English) Zbl 1505.03053 ACM Trans. Comput. Log. 22, No. 4, Article No. 24, 71 p. (2021). MSC: 03B45 68Q17 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Başkent, Can; McCusker, Guy A history based logic for dynamic preference updates. (English) Zbl 1477.03037 J. Logic Lang. Inf. 29, No. 3, 275-305 (2020). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B42 03B45 03B60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Yang, Jing; Tian, Guoliang; Lu, Fang; Lu, Xuewen Single-index modal regression via outer product gradients. (English) Zbl 1504.62057 Comput. Stat. Data Anal. 144, Article ID 106867, 14 p. (2020). MSC: 62G08 × Cite Format Result Cite Review PDF Full Text: DOI
Varshosaz, Mahsa; Mousavi, Mohammad Reza Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems. (English) Zbl 1444.68126 Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 490-503 (2019). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI Link
Shapirovsky, Ilya Modal logics of finite direct powers of \(\omega\) have the finite model property. (English) Zbl 1530.03087 Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 610-618 (2019). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Varshosaz, Mahsa; Luthmann, Lars; Mohr, Paul; Lochau, Malte; Mousavi, Mohammad Reza Modal transition system encoding of featured transition systems. (English) Zbl 1423.68113 J. Log. Algebr. Methods Program. 106, 1-28 (2019). MSC: 68N30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Kudinov, Andrey On neighbourhood product of some Horn axiomatizable logics. (English) Zbl 1492.03008 Log. J. IGPL 26, No. 3, 316-338 (2018). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shapirovsky, Ilya Truth-preserving operations on sums of Kripke frames. (English) Zbl 1418.03101 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 541-558 (2018). MSC: 03B45 03F45 × Cite Format Result Cite Review PDF
Hampson, Christopher The bimodal logic of commuting difference operators is decidable. (English) Zbl 1418.03084 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 311-326 (2018). MSC: 03B45 03B25 × Cite Format Result Cite Review PDF
Elbl, Birgit Cut-free sequent calculi for products and relativised products of modal logics. (English) Zbl 1418.03080 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 257-276 (2018). MSC: 03B45 03F05 × Cite Format Result Cite Review PDF
Flaminio, Tommaso; Godo, Lluis; Ugolini, Sara Towards a probability theory for product logic: states, integral representation and reasoning. (English) Zbl 1448.60006 Int. J. Approx. Reasoning 93, 199-218 (2018); corrigendum ibid. 103, 267-269 (2018). MSC: 60A86 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kremer, Philip Topological-frame products of modal logics. (English) Zbl 1445.03026 Stud. Log. 106, No. 6, 1097-1122 (2018). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 54B10 × Cite Format Result Cite Review PDF Full Text: DOI
Fakhar-Izadi, Farhad; Dehghan, Mehdi Modal spectral element method in curvilinear domains. (English) Zbl 1393.65034 Appl. Numer. Math. 128, 157-182 (2018). MSC: 65M70 65M06 35L45 65T50 65M12 35Q79 35Q60 35R09 × Cite Format Result Cite Review PDF Full Text: DOI
Vidal, Amanda; Esteva, Francesc; Godo, Lluis On modal extensions of product fuzzy logic. (English) Zbl 1390.03025 J. Log. Comput. 27, No. 1, 299-336 (2017). Reviewer: Salvatore Sessa (Napoli) MSC: 03B52 03B45 × Cite Format Result Cite Review PDF Full Text: DOI Link
Diskin, Zinovy; Safilian, Aliakbar; Maibaum, Tom; Ben-David, Shoham Faithful modeling of product lines with Kripke structures and modal logic. (English) Zbl 1424.68039 Sci. Ann. Comput. Sci. 26, No. 1, 69-122 (2016). MSC: 68N30 03B44 03B45 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Balbiani, Philippe; Fernández-Duque, David Axiomatizing the lexicographic products of modal logics with linear temporal logic. (English) Zbl 1400.03056 Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 78-96 (2016). MSC: 03B62 03B45 03B44 03B47 × Cite Format Result Cite Review PDF
Kremer, Philip Matching topological and frame products of modal logics. (English) Zbl 1391.03019 Stud. Log. 104, No. 3, 487-502 (2016). MSC: 03B45 54B10 × Cite Format Result Cite Review PDF Full Text: DOI
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. (English) Zbl 1351.68170 J. Log. Algebr. Methods Program. 85, No. 2, 287-315 (2016). MSC: 68Q60 03B44 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Kremer, Philip The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\). (English) Zbl 1326.03026 Stud. Log. 103, No. 1, 219-226 (2015). MSC: 03B45 54B10 × Cite Format Result Cite Review PDF Full Text: DOI
Shehtman, Valentin Canonical filtrations and local tabularity. (English) Zbl 1385.03027 Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 498-512 (2014). MSC: 03B45 03B44 × Cite Format Result Cite Review PDF
Kudinov, Andrey Neighbourhood frame product \(\mathrm{K}\times \mathrm{K}\). (Neighbourhood frame product KxK.) (English) Zbl 1385.03022 Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 373-386 (2014). MSC: 03B45 × Cite Format Result Cite Review PDF
Gabbay, Dov; Shapirovsky, Ilya; Shehtman, Valentin Products of modal logics and tensor products of modal algebras. (English) Zbl 1345.03038 J. Appl. Log. 12, No. 4, 570-583 (2014). MSC: 03B45 03B62 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Kudinov, Andrey; Shapirovsky, Ilya; Shehtman, Valentin On modal logics of Hamming spaces. (English) Zbl 1291.03036 Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 395-410 (2012). MSC: 03B45 03B25 × Cite Format Result Cite Review PDF
Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste Modal event-clock specifications for timed component-based design. (English) Zbl 1264.68053 Sci. Comput. Program. 77, No. 12, 1212-1234 (2012). MSC: 68N30 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Shehtman, V. B. Squares of modal logics with additional connectives. (English. Russian original) Zbl 1270.03041 Russ. Math. Surv. 67, No. 4, 721-777 (2012); translation from Usp. Mat. Nauk 67, No. 4, 129-186 (2012). Reviewer: G. E. Mints (Stanford) MSC: 03B45 03B10 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Kurucz, Agi; Marcelino, Sérgio Non-finitely axiomatisable two-dimensional modal logics. (English) Zbl 1259.03032 J. Symb. Log. 77, No. 3, 970-986 (2012). Reviewer: Heinrich Wansing (Bochum) MSC: 03B45 03B62 × Cite Format Result Cite Review PDF Full Text: DOI Euclid
Göller, Stefan; Lin, Anthony Widjaja Concurrency makes simple theories hard. (English) Zbl 1245.68136 Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th – March 3rd, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPIcs – Leibniz International Proceedings in Informatics 14, 148-159, electronic only (2012). MSC: 68Q60 03B45 68Q17 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Sano, Katsuhiko Axiomatizing hybrid products of monotone neighborhood frames. (English) Zbl 1260.03047 Bolander, T. (ed.) et al., International workshop on hybrid logic and applications 2010 (HyLo 2010). Post-proceedings of the workshop, Edinburgh, UK, July 10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 273, 51-67 (2011). MSC: 03B45 03B62 × Cite Format Result Cite Review PDF Full Text: DOI
Vassilev, Peter A note on the extended modal operator \(G_{\alpha,\beta}\). (English) Zbl 1244.03150 Notes IFS 16, No. 2, 12-15 (2010). MSC: 03E72 × Cite Format Result Cite Review PDF
Sano, Katsuhiko Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (English) Zbl 1215.03038 J. Appl. Log. 8, No. 4, 459-474 (2010). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Benevides, Mario R. F.; Menasché Schechter, L. Product of graphs and hybrid logic. (English) Zbl 1291.05166 Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the fourth workshop on logical and semantic frameworks, with applications (LSFA 2009), Brasilia, Brazil, August 28, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 256, 103-118 (2009). MSC: 05C76 03B45 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Aszalós, László; Balbiani, Philippe Proving the decidability of the \(\mathrm{PDL}\times\mathrm{PDL}\) product logic. (English) Zbl 1211.68393 Stud. Univ. Babeș-Bolyai, Inform. 54, No. 1, 3-16 (2009). MSC: 68T27 94A62 03B45 × Cite Format Result Cite Review PDF
Balbiani, Philippe Axiomatization and completeness of lexicographic products of modal logics. (English) Zbl 1193.03035 Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 165-180 (2009). MSC: 03B45 03B62 × Cite Format Result Cite Review PDF Full Text: DOI
Felscher, Ingo The compositional method and regular reachability. (English) Zbl 1337.68166 Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 103-117 (2008). MSC: 68Q60 03B45 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
van Ditmarsch, H. P.; Ruan, J.; Verbrugge, R. Sum and product in dynamic epistemic logic. (English) Zbl 1150.03005 J. Log. Comput. 18, No. 4, 563-588 (2008). Reviewer: Giacomo Bonanno (Davis) MSC: 03B42 03B45 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI Link
van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D. Multimodal logics of products of topologies. (English) Zbl 1113.03018 Stud. Log. 84, No. 3, 369-392 (2006). Reviewer: G. E. Mints (Stanford) MSC: 03B45 54B10 × Cite Format Result Cite Review PDF Full Text: DOI
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. Products of ‘transitive’ modal logics. (English) Zbl 1103.03020 J. Symb. Log. 70, No. 3, 993-1021 (2005). Reviewer: Branislav Boričić (Beograd) MSC: 03B45 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Gu, Chuanqing Matrix Padé-type approximant and directional matrix Padé approximant in the inner product space. (English) Zbl 1050.41012 J. Comput. Appl. Math. 164-165, 365-385 (2004). Reviewer: Eleonora Storozhenko (Odessa) MSC: 41A21 41-06 × Cite Format Result Cite Review PDF Full Text: DOI
Choi, Dug-Hwan; Smith, Jonathan D. H. Support functions of general convex sets. (English) Zbl 1093.52501 Algebra Univers. 49, No. 3, 305-319 (2003). Reviewer: Ivan Chajda (Olomouc) MSC: 52A20 52A41 26B25 × Cite Format Result Cite Review PDF Full Text: DOI
Kurucz, Agi; Zakharyaschev, Michael A note on relativised products of modal logics. (English) Zbl 1082.03018 Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 221-242 (2003). MSC: 03B45 × Cite Format Result Cite Review PDF
Hasimoto, Yasusi Products of infinitely many modal logics. (English) Zbl 1039.03010 Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 2, 103-110 (2002). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 03B45 × Cite Format Result Cite Review PDF
Marx, Maarten; Mikulás, Szabolcs An elementary construction for a non-elementary procedure. (English) Zbl 1010.03014 Stud. Log. 72, No. 2, 253-263 (2002). MSC: 03B45 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Gabbay, Dov; Shehtman, Valentin Products of modal logics. III. Products of modal and temporal logics. (English) Zbl 1014.03023 Stud. Log. 72, No. 2, 157-183 (2002). MSC: 03B45 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
Kravtsov, Aleksey G. Polymodal logics of commuting functions. (English) Zbl 1034.03018 Log. J. IGPL 10, No. 5, 517-533 (2002). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Reynolds, Mark; Zakharyaschev, Michael On the products of linear modal logics. (English) Zbl 1002.03017 J. Log. Comput. 11, No. 6, 909-931 (2001). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Kurucz, Ágnes On axiomatising products of Kripke frames. (English) Zbl 0963.03027 J. Symb. Log. 65, No. 2, 923-946 (2000). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03C90 03C20 × Cite Format Result Cite Review PDF Full Text: DOI
Atanassov, K. T. Intuitionistic fuzzy sets. Theory and applications. (English) Zbl 0939.03057 Studies in Fuzziness and Soft Computing. 35. Heidelberg: Physica-Verlag. xviii, 323 p. (1999). Reviewer: Ketty Peeva (Sofia) MSC: 03E72 03-02 68T35 × Cite Format Result Cite Review PDF
de Rijke, Maarten A modal characterization of Peirce algebras. (English) Zbl 0922.03088 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 109-123 (1999). Reviewer: L.Esakia (Tbilisi) MSC: 03G25 03B45 06E25 × Cite Format Result Cite Review PDF
Marx, Maarten Complexity of products of modal logics. (English) Zbl 0945.03025 J. Log. Comput. 9, No. 2, 197-214 (1999). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 03D15 × Cite Format Result Cite Review PDF Full Text: DOI Link
Meyer, Raphaël; Petit, Antoine Expressive completeness of LTrL on finite traces: An algebraic proof. (English) Zbl 0892.03006 Morvan, Michel (ed.) et al., STACS 98. 15th annual symposium on Theoretical aspects of computer science. Paris, France, February 25–27, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1373, 533-543 (1998). MSC: 03B45 68Q10 68Q45 03D05 × Cite Format Result Cite Review PDF
Sherwin, S. J.; Karniadakis, G. E. Tetrahedral \(hp\) finite elements: Algorithms and flow simulations. (English) Zbl 0847.76038 J. Comput. Phys. 124, No. 1, 14-45 (1996). MSC: 76M10 76D05 × Cite Format Result Cite Review PDF Full Text: DOI
Canals Frau, M.; Figallo, A. \((n+1)\)-valued Hilbert modal algebras. (English) Zbl 0814.03043 Notas Soc. Mat. Chile 10, No. 1, 143-149 (1991). MSC: 03G25 08A35 08B99 08A30 06E25 08B26 × Cite Format Result Cite Review PDF
Romanowska, Anna B.; Smith, Jonathan D. H. Support functions on ordinal products. (English) Zbl 0673.06007 Geom. Dedicata 30, No. 3, 281-296 (1989). Reviewer: E.Heil MSC: 06F25 52A99 × Cite Format Result Cite Review PDF Full Text: DOI
Amir, Amihood; Gabbay, Dov M. Preservation of expressive completeness in temporal models. (English) Zbl 0621.03008 Inf. Comput. 72, 66-83 (1987). Reviewer: J.Sefránek MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Arnold, Douglas N.; Saranen, Jukka On the asymptotic convergence of spline collocation methods for partial differential equations. (English) Zbl 0542.65069 SIAM J. Numer. Anal. 21, 459-472 (1984). Reviewer: G.Vainikko MSC: 65N35 65N15 35J25 × Cite Format Result Cite Review PDF Full Text: DOI
Givens, Clark R. Some observations on eigenvectors of Hadamard matrices of order \(2^ n\). (English) Zbl 0528.15008 Linear Algebra Appl. 56, 245-250 (1984). MSC: 15A69 15A18 05B20 × Cite Format Result Cite Review PDF Full Text: DOI
Meirovitch, L.; Silverberg, L. M. Globally optimal control of self-adjoint distributed systems. (English) Zbl 0528.49002 Optim. Control Appl. Methods 4, 365-386 (1983). MSC: 49J20 35L10 47B25 35B37 46C99 47A70 49J27 93C05 93C20 93C25 × Cite Format Result Cite Review PDF Full Text: DOI
Iwankiewicz, R.; Sobczyk, K. Dynamic response of linear structures to correlated random impulses. (English) Zbl 0507.73071 J. Sound Vib. 86, 303-317 (1983). MSC: 74H50 74H45 × Cite Format Result Cite Review PDF Full Text: DOI
Tzafestas, S. G. Optimal and modal control of production-inventory systems. (English) Zbl 0509.90042 Optimisation and control of dynamic operational research models, North-Holland Syst. Contr. Ser. 4, 1-104 (1982). MSC: 90B30 93E20 90B05 × Cite Format Result Cite Review PDF
Shekhtman, V. B. Two-dimensional modal logic. (English) Zbl 0403.03015 Math. Notes 23, 417-424 (1978). MSC: 03B45 03C52 03C90 × Cite Format Result Cite Review PDF Full Text: DOI