{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T10:08:27Z","timestamp":1764238107447,"version":"3.37.3"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"the National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61003014"],"award-info":[{"award-number":["61003014"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"the National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61203336"],"award-info":[{"award-number":["61203336"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"the National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61273338"],"award-info":[{"award-number":["61273338"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10472-015-9468-4","type":"journal-article","created":{"date-parts":[[2015,6,30]],"date-time":"2015-06-30T06:25:40Z","timestamp":1435645540000},"page":"391-417","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An NP-complete fragment of fibring logic"],"prefix":"10.1007","volume":"75","author":[{"given":"Yin","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Min","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongqiang","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Chao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Changle","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,1]]},"reference":[{"issue":"1","key":"9468_CR1","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/s00453-011-9552-z","volume":"64","author":"A Achilleos","year":"2012","unstructured":"Achilleos, A., Lampis, M., Mitsou, V.: Parameterized modal satisfiability. Algorithmica 64(1), 38\u201355 (2012)","journal-title":"Algorithmica"},{"key":"9468_CR2","unstructured":"Chagrov, A.V., Rybakov, M.N.: How many variables does one need to prove pspace-hardness of modal logics?. In: Advances in Modal Logic 4 (AiML02) (2003)"},{"issue":"1\u20134","key":"9468_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/A:1016636131405","volume":"30","author":"A Artale","year":"2000","unstructured":"Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1\u20134), 171\u2013210 (2000)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"9468_CR4","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B Bennett","year":"2002","unstructured":"Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Appl. Intell. 17(3), 239\u2013251 (2002a)","journal-title":"Appl. Intell."},{"issue":"1","key":"9468_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1015057926707","volume":"17","author":"B Bennett","year":"2002","unstructured":"Bennett, B., Dixon, C., Fisher, M., Hustadt, U., Franconi, E., Horrocks, I., Rijke, M.D.: Combinations of modal logics. Artif. Intell. Rev. 17(1), 1\u201320 (2002b)","journal-title":"Artif. Intell. Rev."},{"key":"9468_CR6","unstructured":"Beth, E.W.: The foundations of mathematics A Study in the Philosophy of Science. North-Holland (1959)"},{"issue":"1","key":"9468_CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P Blackburn","year":"1997","unstructured":"Blackburn, P., Rijke, M.D.: Why combine logics Stud. Logica. 59(1), 5\u201327 (1997)","journal-title":"Stud. Logica."},{"key":"9468_CR8","doi-asserted-by":"crossref","unstructured":"Blackburn, P., Rijke, M.D., Venema, Y.: Modal Logic. Cambridge University Press (2002)","DOI":"10.1017\/CBO9781107050884"},{"key":"9468_CR9","volume-title":"Handbook of Modal Logic, Studies in Logic and Practical Reasoning, vol. 3","author":"P Blackburn","year":"2007","unstructured":"Blackburn, P., van Benthem, J., Wolter, F.: Handbook of Modal Logic, Studies in Logic and Practical Reasoning, 1st edn., vol. 3. Elsevier, Amsterdam and Boston (2007)","edition":"1st edn."},{"key":"9468_CR10","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Sernadas, C., Sernadas, A.: Parameterisation of logics. In: Recent Trends in Algebraic Development Techniques, pp. 48\u201363. Springer (1999)","DOI":"10.1007\/3-540-48483-3_4"},{"issue":"2","key":"9468_CR11","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1022301711366","volume":"12","author":"C Caleiro","year":"2003","unstructured":"Caleiro, C., Carnielli, W.A., Coniglio, M.E., Sernadas, A., Sernadas, C.: Fibring non-truth-functional logics: completeness preservation. J. Log. Lang. Inf. 12(2), 183\u2013211 (2003)","journal-title":"J. Log. Lang. Inf."},{"key":"9468_CR12","unstructured":"Caleiro, C., Sernadas, A., Sernadas, C.: Fibring logics: past, present and future. We Will Show Them: Essays in Honour of Dov Gabbay, vol. One, pp. 363\u2013388 (2005)"},{"key":"9468_CR13","unstructured":"Carnielli, W., Coniglio, M.E.: Combining logics (2007)"},{"key":"9468_CR14","unstructured":"Fine, K., Schurz, G.: Transfer theorems for multimodal logics. logic and reality. essays in pure and applied logic. Memory of Arthur Prior OUP (1992)"},{"key":"9468_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-009-0349-4_1","volume":"3","author":"D Gabbay","year":"1996","unstructured":"Gabbay, D.: An overview of fibred semantics and the combination of logics. Frontiers of Combining Systems 3, 1\u201356 (1996)","journal-title":"Frontiers of Combining Systems"},{"issue":"2","key":"9468_CR16","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1021304426509","volume":"72","author":"D Gabbay","year":"2002","unstructured":"Gabbay, D., Shehtman, V.: Products of modal logics. part 3: products of modal and temporal logics. Stud. Logica. 72(2), 157\u2013183 (2002)","journal-title":"Stud. Logica."},{"key":"9468_CR17","volume-title":"Fibring Logics, Oxford Logic Guides, vol. 38","author":"DM Gabbay","year":"1999","unstructured":"Gabbay, D.M.: Fibring Logics, Oxford Logic Guides, vol. 38. Clarendon, Oxford and New York (1999)"},{"key":"9468_CR18","volume-title":"Many-dimensional Modal Logics: Theory and Applications, Studies in Logic and the Foundations of Mathematics, vol. 148","author":"DM Gabbay","year":"2003","unstructured":"Gabbay, D.M.: Many-dimensional Modal Logics: Theory and Applications, Studies in Logic and the Foundations of Mathematics, 1st edn., vol. 148. Elsevier North Holland, Amsterdam and Boston (2003)","edition":"1st edn."},{"key":"9468_CR19","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M.: What is a logical system? an evolutionary view: 1964\u20132014. In: Computational Logic, Newnes, vol. 9, p. 41 (2014)","DOI":"10.1016\/B978-0-444-51624-4.50003-4"},{"issue":"1","key":"9468_CR20","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"DM Gabbay","year":"1998","unstructured":"Gabbay, D.M., Shehtman, V.B.: Products of modal logics, part 1. Log. J. IGPL 6(1), 73\u2013146 (1998)","journal-title":"Log. J. IGPL"},{"issue":"1","key":"9468_CR21","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1613\/jair.1537","volume":"23","author":"D Gabelaia","year":"2005","unstructured":"Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Combining spatial and temporal logics: expressiveness vs. complexity. J. Artif. Intell. Res. 23(1), 167\u2013243 (2005)","journal-title":"J. Artif. Intell. Res."},{"key":"9468_CR22","doi-asserted-by":"crossref","unstructured":"Gon\u00e7alves, R., Alferes, J.J.: Parametrized logic programming. In: Logics in Artificial Intelligence, pp. 182\u2013194. Springer (2010)","DOI":"10.1007\/978-3-642-15675-5_17"},{"issue":"2","key":"9468_CR23","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0004-3702(95)00018-A","volume":"75","author":"JY Halpern","year":"1995","unstructured":"Halpern, J.Y.: The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic. Artif. Intell. 75(2), 361\u2013372 (1995)","journal-title":"Artif. Intell."},{"issue":"3","key":"9468_CR24","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"JY Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell. 54(3), 319\u2013379 (1992)","journal-title":"Artif. Intell."},{"issue":"4","key":"9468_CR25","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1093\/logcom\/exm029","volume":"17","author":"JY Halpern","year":"2007","unstructured":"Halpern, J.Y., R\u00eago, L.C.: Characterizing the np-pspace gap in the satisfiability problem for modal logic. J. Log. Comput. 17(4), 795\u2013806 (2007)","journal-title":"J. Log. Comput."},{"key":"9468_CR26","doi-asserted-by":"crossref","unstructured":"Hirsch, R., Hodkinson, I., Kurucz, A.: On modal logics between k\u00d7k\u00d7k and s5\u2217s5\u2217s5. J. Symb. Log., 221\u2013234 (2002)","DOI":"10.2178\/jsl\/1190150040"},{"key":"9468_CR27","doi-asserted-by":"crossref","unstructured":"Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Spatial logic+ temporal logic=?. In: Handbook of Spatial Logics, pp. 497\u2013564. Springer (2007)","DOI":"10.1007\/978-1-4020-5587-4_9"},{"issue":"2","key":"9468_CR28","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1023\/A:1004900300438","volume":"59","author":"M Kracht","year":"1997","unstructured":"Kracht, M., Wolter, F.: Simulation and transfer results in modal logic\u2013a survey. Stud. Logica. 59(2), 149\u2013177 (1997)","journal-title":"Stud. Logica."},{"issue":"5\u20136","key":"9468_CR29","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"SA Kripke","year":"1963","unstructured":"Kripke, S.A.: Semantical analysis of modal logic i normal modal propositional calculi. Math. Log. Q. 9(5\u20136), 67\u201396 (1963)","journal-title":"Math. Log. Q."},{"issue":"3","key":"9468_CR30","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"RE Ladner","year":"1977","unstructured":"Ladner, R.E.: The computational complexity of provability in systems of modal propositional logic. SIAM J. Comput. 6(3), 467\u2013480 (1977)","journal-title":"SIAM J. Comput."},{"issue":"2","key":"9468_CR31","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1093\/logcom\/9.2.197","volume":"9","author":"M Marx","year":"1999","unstructured":"Marx, M.: Complexity of products of modal logics. J. Log. Comput. 9(2), 197\u2013214 (1999)","journal-title":"J. Log. Comput."},{"key":"9468_CR32","unstructured":"Papadimitriou, C.H.: Computational Complexity. Wiley (2003)"},{"issue":"5","key":"9468_CR33","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1007\/s11225-013-9524-1","volume":"102","author":"J Rasga","year":"2014","unstructured":"Rasga, J., Sernadas, A., Sernadas, C.: Fibring as biporting subsumes asymmetric combinations. Stud. Logica. 102(5), 1041\u20131074 (2014)","journal-title":"Stud. Logica."},{"key":"9468_CR34","volume-title":"Artificial Intelligence: A Modern Approach","author":"SJ Russell","year":"2010","unstructured":"Russell, S.J., Norvig, P., Davis, E.: Artificial Intelligence: A Modern Approach. Prentice Hall, Englewood Cliffs (2010)"},{"issue":"4","key":"9468_CR35","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1093\/jigpal\/jzp085","volume":"19","author":"G Schurz","year":"2011","unstructured":"Schurz, G.: Combinations and completeness transfer for quantified modal logics. Log. J. IGPL 19(4), 598\u2013616 (2011)","journal-title":"Log. J. IGPL"},{"issue":"1","key":"9468_CR36","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K Segerberg","year":"1973","unstructured":"Segerberg, K.: Two-dimensional modal logic. J. Philos. Log. 2(1), 77\u201396 (1973)","journal-title":"J. Philos. Log."},{"key":"9468_CR37","first-page":"9","volume":"15","author":"A Sernadas","year":"2003","unstructured":"Sernadas, A., Sernadas, C.: Combining logic systems: why, how, what for. CIM Bull. 15, 9\u201314 (2003)","journal-title":"CIM Bull."},{"issue":"2","key":"9468_CR38","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004904401346","volume":"59","author":"A Sernadas","year":"1997","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C.: Synchronization of logics. Stud. Logica. 59(2), 217\u2013247 (1997)","journal-title":"Stud. Logica."},{"issue":"2","key":"9468_CR39","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A Sernadas","year":"1999","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C.: Fibring of logics as a categorial construction. J. Log. Comput. 9(2), 149\u2013179 (1999)","journal-title":"J. Log. Comput."},{"issue":"4","key":"9468_CR40","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1093\/jigpal\/10.4.413","volume":"10","author":"A Sernadas","year":"2002","unstructured":"Sernadas, A., Sernadas, C., Zanardo, A.: Fibring modal first-order logics: completeness preservation. Log. J. IGPL 10(4), 413\u2013451 (2002a)","journal-title":"Log. J. IGPL"},{"issue":"6","key":"9468_CR41","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1093\/logcom\/exp024","volume":"19","author":"A Sernadas","year":"2009","unstructured":"Sernadas, A., Sernadas, C., Rasga, J., Coniglio, M.: On graph-theoretic fibring of logics. J. Log. Comput. 19(6), 1321\u20131357 (2009)","journal-title":"J. Log. Comput."},{"issue":"6","key":"9468_CR42","doi-asserted-by":"crossref","first-page":"1453","DOI":"10.1093\/logcom\/exr035","volume":"22","author":"A Sernadas","year":"2012","unstructured":"Sernadas, A., Sernadas, C., Rasga, J.: On meet-combination of logics. J. Log. Comput. 22(6), 1453\u20131470 (2012)","journal-title":"J. Log. Comput."},{"issue":"4","key":"9468_CR43","doi-asserted-by":"crossref","first-page":"1541","DOI":"10.2178\/jsl\/1190150298","volume":"67","author":"C Sernadas","year":"2002","unstructured":"Sernadas, C., Rasga, J., Carnielli, W.A.: Modulated fibring and the collapsing problem. J. Symb. Log. 67(4), 1541\u20131569 (2002b)","journal-title":"J. Symb. Log."},{"issue":"5","key":"9468_CR44","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/BF01789012","volume":"23","author":"VB Shekhtman","year":"1978","unstructured":"Shekhtman, V.B.: Two-dimensional modal logic. Mathematical notes of the Academy of Sciences of the USSR 23(5), 417\u2013424 (1978)","journal-title":"Mathematical notes of the Academy of Sciences of the USSR"},{"key":"9468_CR45","unstructured":"Spaan, E.: Complexity of modal logics. PhD thesis, Universiteit van Amsterdam (1993)"},{"key":"9468_CR46","doi-asserted-by":"crossref","unstructured":"Thomason, R.H.: Combinations of tense and modality. In: Handbook of Philosophical Logic, pp. 135\u2013165. Springer (1984)","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"9468_CR47","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1090\/dimacs\/031\/05","volume":"31","author":"MY Vardi","year":"1997","unstructured":"Vardi, M.Y.: Why is modal logic so robustly decidable. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 31, 149\u2013184 (1997)","journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"key":"9468_CR48","first-page":"361","volume":"1","author":"F Wolter","year":"1998","unstructured":"Wolter, F.: Fusions of modal logics revisited. Advances in Modal Logic 1, 361\u2013379 (1998)","journal-title":"Advances in Modal Logic"},{"key":"9468_CR49","doi-asserted-by":"crossref","unstructured":"Zanardo, A., Sernadas, A., Sernadas, C.: Fibring: completeness preservation. J. Symb. Log., 414\u2013439 (2001)","DOI":"10.2307\/2694931"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9468-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-015-9468-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9468-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,27]],"date-time":"2019-08-27T17:09:26Z","timestamp":1566925766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-015-9468-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,1]]},"references-count":49,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9468"],"URL":"https:\/\/doi.org\/10.1007\/s10472-015-9468-4","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2015,7,1]]}}}