{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:38:31Z","timestamp":1725748711601},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642408847"},{"type":"electronic","value":"9783642408854"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40885-4_10","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T07:20:19Z","timestamp":1378884019000},"page":"151-164","source":"Crossref","is-referenced-by-count":2,"title":["Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Szabolcs","family":"Mikul\u00e1s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Balbiani, P.: Time representation and temporal reasoning from the perspective of non-standard analysis. In: Brewka, G., Lang, J. (eds.) Eleventh International Conference on Principles of Knowledge Representation and Reasoning, pp. 695\u2013704. AAAI (2008)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-04222-5_10","volume-title":"Frontiers of Combining Systems","author":"P. Balbiani","year":"2009","unstructured":"Balbiani, P.: Axiomatization and completeness of lexicographic products of modal logics. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol.\u00a05749, pp. 165\u2013180. Springer, Heidelberg (2009)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Balbiani, P.: Axiomatizing the temporal logic defined over the class of all lexicographic products of dense linear orders without endpoints. In: Markey, N., Wijsen, J. (eds.) Temporal Representation and Reasoning, pp. 19\u201326. IEEE (2010)","DOI":"10.1109\/TIME.2010.13"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Van Benthem, J.: The Logic of Time. Kluwer (1991)","DOI":"10.1007\/978-94-015-7947-6"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1002\/malq.19660120129","volume":"12","author":"R. Bull","year":"1966","unstructured":"Bull, R.: That all normal extensions of S4.3 have the finite model property. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik\u00a012, 314\u2013344 (1966)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s11787-012-0074-5","volume":"7","author":"C. Caleiro","year":"2013","unstructured":"Caleiro, C., Vigan\u00f2, L., Volpe, M.: On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators. Logica Universalis\u00a07, 33\u201369 (2013)","journal-title":"Logica Universalis"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Euzenat, J., Montanari, A.: Time granularity. In: Fisher, M., Gabbay, D., Vila, L. (eds.) Handbook of Temporal Reasoning in Artificial Intelligence, pp. 59\u2013118. Elsevier (2005)","DOI":"10.1016\/S1574-6526(05)80005-7"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1002\/malq.19710170141","volume":"17","author":"K. Fine","year":"1971","unstructured":"Fine, K.: The logics containing S4.3. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a017, 371\u2013376 (1971)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10_CR10","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier (2003)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"D. Gabbay","year":"1998","unstructured":"Gabbay, D., Shehtman, V.: Products of modal logics, part 1. Logic Journal of the IGPL\u00a06, 73\u2013146 (1998)","journal-title":"Logic Journal of the IGPL"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1006\/jsco.1996.0070","volume":"22","author":"J.-R. Gagn\u00e9","year":"1996","unstructured":"Gagn\u00e9, J.-R., Plaice, J.: A nonstandard temporal deductive database system. Journal of Symbolic Computation\u00a022, 649\u2013664 (1996)","journal-title":"Journal of Symbolic Computation"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"Kracht, M., Wolter, F.: Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic\u00a056, 1469\u20131485 (1991)","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Kurucz, A.: Combining modal logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 869\u2013924. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80018-8"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s11225-005-3702-8","volume":"81","author":"T. Litak","year":"2005","unstructured":"Litak, T., Wolter, F.: All finitely axiomatizable tense logics of linear time flows are CoNP-complete. Studia Logica\u00a081, 153\u2013165 (2005)","journal-title":"Studia Logica"},{"key":"10_CR16","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/10722086_26","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M. Marx","year":"2000","unstructured":"Marx, M., Mikul\u00e1s, S., Reynolds, M.: The mosaic method for temporal logics. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS (LNAI), vol.\u00a01847, pp. 324\u2013340. Springer, Heidelberg (2000)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Marx, M., Venema, Y.: Local variations on a loose theme: modal logic and decidability. In: Gr\u00e4del, E., Kolaitis, P., Libkin, L., Marx, M., Spencer, J., Vardi, M., Venema, Y., Weinstein, S. (eds.) Finite Model Theory and its Applications, pp. 371\u2013429. Springer (2007)","DOI":"10.1007\/3-540-68804-8_7"},{"key":"10_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1007\/978-3-540-76928-6_87","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"K. Nakamura","year":"2007","unstructured":"Nakamura, K., Fusaoka, A.: Reasoning about hybrid systems based on a nonstandard model. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 749\u2013754. Springer, Heidelberg (2007)"},{"key":"10_CR19","unstructured":"N\u00e9meti, I.: Decidable versions of first order logic and cylindric-relativized set algebras. In: Csirmaz, L., Gabbay, D., de Rijke, M. (eds.) Logic Colloquium 1992, pp. 171\u2013241. CSLI Publications (1995)"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1305\/ndjfl\/1039700748","volume":"38","author":"M. Reynolds","year":"1997","unstructured":"Reynolds, M.: A decidable temporal logic of parallelism. Notre Dame Journal of Formal Logic\u00a038, 419\u2013436 (1997)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1093\/logcom\/11.6.909","volume":"11","author":"M. Reynolds","year":"2001","unstructured":"Reynolds, M., Zakharyaschev, M.: On the products of linear modal logics. Journal of Logic and Compution\u00a011, 909\u2013931 (2001)","journal-title":"Journal of Logic and Compution"},{"key":"10_CR22","unstructured":"Wolter, F.: Fusions of modal logics revisited. In: Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advances in Modal Logic, pp. 361\u2013379. CSLI Publications (1998)"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1002\/malq.19950410103","volume":"41","author":"M. Zakharyaschev","year":"1995","unstructured":"Zakharyaschev, M., Alekseev, A.: All finitely axiomatizable normal extensions of K4.3 are decidable. Mathematical Logic Quarterly\u00a041, 15\u201323 (1995)","journal-title":"Mathematical Logic Quarterly"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40885-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:13:59Z","timestamp":1558055639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40885-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408847","9783642408854"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40885-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}