{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:40:04Z","timestamp":1745941204006,"version":"3.40.4"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,12,25]],"date-time":"2012-12-25T00:00:00Z","timestamp":1356393600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s11787-012-0074-5","type":"journal-article","created":{"date-parts":[[2012,12,24]],"date-time":"2012-12-24T07:20:07Z","timestamp":1356333607000},"page":"33-69","source":"Crossref","is-referenced-by-count":2,"title":["On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators"],"prefix":"10.1007","volume":"7","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Volpe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,12,25]]},"reference":[{"issue":"4","key":"74_CR1","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2273296","volume":"44","author":"J.P Burgess","year":"1979","unstructured":"Burgess J.P: Logic and time. J. Symb. Log. 44(4), 566\u2013582 (1979)","journal-title":"J. Symb. Log."},{"key":"74_CR2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00370320","volume":"39","author":"J.P Burgess","year":"1980","unstructured":"Burgess J.P: Decidability for branching time. Stud. Log. 39, 203\u2013218 (1980)","journal-title":"Stud. Log."},{"issue":"4","key":"74_CR3","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","author":"J.P Burgess","year":"1982","unstructured":"Burgess J.P: Axioms for tense logic. I. \u201cSince\u201d and \u201cuntil\u201d. Notre Dame J. Form. Log. 23(4), 367\u2013374 (1982)","journal-title":"Notre Dame J. Form. Log."},{"key":"74_CR4","doi-asserted-by":"crossref","unstructured":"Di Maio, M.C., Zanardo, A.: Synchronized Histories in Prior-Thomason Representation of Branching Time. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL \u201994, LNCS, vol. 827, pp. 265\u2013282. Springer, Berlin, Heidelberg (1994)","DOI":"10.1007\/BFb0013993"},{"key":"74_CR5","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. The MIT Press, Cambridge-Massachusetts, London-England (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"74_CR6","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M.: An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. In: M\u00f6nnich, U. (ed.) Aspects of philosophical logic (T\u00fcbingen, 1977), vol. 147, pp 67\u201389. Synthese Library, Reidel, Dordrecht (1981)","DOI":"10.1007\/978-94-009-8384-7_3"},{"key":"74_CR7","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Hodkinson, I., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects, vol. 1. Oxford University Press-Clarendon Press, Oxford (1994)","DOI":"10.1007\/BFb0013976"},{"issue":"1","key":"74_CR8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"D.M. 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"},{"key":"74_CR9","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic, vol. 148. Elsevier Science (2003)"},{"issue":"1","key":"74_CR10","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1093\/jigpal\/jzl035","volume":"15","author":"V. Goranko","year":"2007","unstructured":"Goranko V., Zanardo A: From linear to Branching-time temporal logics: transfer of semantics and definability. Log. J. IGPL 15(1), 53\u201376 (2007)","journal-title":"Log. J. IGPL"},{"issue":"3","key":"74_CR11","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J.Y. Halpern","year":"2004","unstructured":"Halpern J.Y., Vander Meyden R., Vardi M.Y: Complete axiomatizations for reasoning about knowledge and time. SIAM J. Comput. 33(3), 674\u2013703 (2004)","journal-title":"SIAM J. Comput."},{"key":"74_CR12","unstructured":"Hirsch, R., Hodkinson, I., Marx, M., Mikul\u00e1s, S., Reynolds, M.: Mosaics and step-by-step. Remarks on \u201cA modal logic of relations\u201d. In: Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, pp. 158\u2013167. Springer, Berlin, Heidelberg (1999)"},{"key":"74_CR13","doi-asserted-by":"crossref","unstructured":"Kurucz, A.: Combining modal logics. In: van Benthem, J., Blackburn, P., Wolter, F. (eds.) Handbook of Modal Logic, pp. 869\u2013924. Elsevier, Amsterdam (2007)","DOI":"10.1016\/S1570-2464(07)80018-8"},{"key":"74_CR14","doi-asserted-by":"crossref","unstructured":"Marx, M., Mikul\u00e1s, S., Reynolds, M.: The mosaic method for temporal logics. In: Dyckhoff, R. (ed.) TABLEAUX, LNCS, vol. 1847, pp. 324\u2013340. Springer, Berlin, Heidelberg (2000)","DOI":"10.1007\/10722086_26"},{"issue":"2","key":"74_CR15","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1093\/jigpal\/6.2.305","volume":"6","author":"S Mikul\u00e1s","year":"1998","unstructured":"Mikul\u00e1s S: Taming first-order logic. J. IGPL 6(2), 305\u2013316 (1998)","journal-title":"J. IGPL"},{"key":"74_CR16","unstructured":"N\u00e9meti, I.: Free Algebras and Decidability in Algebraic Logic. PhD Thesis, Hungarian Academy of Sciences, Budapest (1986)"},{"key":"74_CR17","unstructured":"N\u00e9meti, I.: Decidable versions of first order logic and cylindric-relativized set\u00a0algebras. In: Logic Colloquium \u201992, pp. 171\u2013241. CSLI Publications, Stanford (1995)"},{"key":"74_CR18","first-page":"1","volume":"141","author":"M.O Rabin","year":"1969","unstructured":"Rabin M.O: Decidability of second-order theories and automata on infinite trees. Trans. Am. Math. Soc. 141, 1\u201335 (1969)","journal-title":"Trans. Am. Math. Soc."},{"key":"74_CR19","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1305\/ndjfl\/1039700748","volume":"38","author":"M Reynolds","year":"1996","unstructured":"Reynolds M: A decidable temporal logic of parallelism. Notre Dame J. Form. Log. 38, 419\u2013436 (1996)","journal-title":"Notre Dame J. Form. Log."},{"issue":"4","key":"74_CR20","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1093\/logcom\/12.4.679","volume":"12","author":"M Reynolds","year":"2002","unstructured":"Reynolds M: Axioms for branching time. J. Log. Comput. 12(4), 679\u2013697 (2002)","journal-title":"J. Log. Comput."},{"issue":"2","key":"74_CR21","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/S0022-0000(03)00005-9","volume":"66","author":"M Reynolds","year":"2003","unstructured":"Reynolds M: The complexity of the temporal logic with \u201cuntil\u201d over general linear time. J. Comput. Syst. Sci. 66(2), 393\u2013426 (2003)","journal-title":"J. Comput. Syst. Sci."},{"key":"74_CR22","doi-asserted-by":"crossref","unstructured":"Reynolds, M.: Dense time reasoning via mosaics. In: TIME \u201909, pp. 3\u201310. IEEE Computer Society, Los Alamitos, CA, USA (2009)","DOI":"10.1109\/TIME.2009.16"},{"issue":"1","key":"74_CR23","first-page":"19","volume":"3","author":"M Reynolds","year":"2010","unstructured":"Reynolds M: The complexity of decision problems for linear temporal logics. J. Stud. Log. 3(1), 19\u201350 (2010)","journal-title":"J. Stud. Log."},{"key":"74_CR24","doi-asserted-by":"crossref","first-page":"1063","DOI":"10.1016\/j.apal.2010.01.002","volume":"161","author":"M Reynolds","year":"2010","unstructured":"Reynolds M: The complexity of temporal logic over the reals. Ann. Pure Appl. Log. 161, 1063\u20131096 (2010)","journal-title":"Ann. Pure Appl. Log."},{"key":"74_CR25","doi-asserted-by":"crossref","unstructured":"Thomason, R.H.: Combinations of tense and modality. In: Handbook of Philosophical Logic: Extensions of Classical Logic, pp. 135\u2013165. Reidel, Dordrecht (1984)","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"74_CR26","doi-asserted-by":"crossref","unstructured":"Van Dalen, D.: Logic and Structure. Springer, Berlin, Heidelberg (1994)","DOI":"10.1007\/978-3-662-02962-6"},{"key":"74_CR27","unstructured":"Venema, Y., Marx, M.: A modal logic of relations. In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa. Physica-Verlag, Heidelberg, New York (1999)"},{"key":"74_CR28","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF00649485","volume":"14","author":"A Zanardo","year":"1985","unstructured":"Zanardo A: A finite axiomatization of the set of strongly valid Ockhamist formulas. J. Philos. Log. 14, 447\u2013468 (1985)","journal-title":"J. Philos. Log."},{"issue":"1","key":"74_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2275595","volume":"61","author":"A Zanardo","year":"1996","unstructured":"Zanardo A: Branching-time logic with quantification over branches: the point of view of modal logic. J. Symb. Log. 61(1), 1\u201339 (1996)","journal-title":"J. Symb. Log."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-012-0074-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-012-0074-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-012-0074-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:02:40Z","timestamp":1745938960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-012-0074-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,25]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["74"],"URL":"https:\/\/doi.org\/10.1007\/s11787-012-0074-5","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2012,12,25]]}}}