{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:27Z","timestamp":1761611307027},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s11225-012-9414-y","type":"journal-article","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T21:57:56Z","timestamp":1340056676000},"page":"545-581","source":"Crossref","is-referenced-by-count":7,"title":["Importing Logics"],"prefix":"10.1007","volume":"100","author":[{"given":"Jo\u00e3o","family":"Rasga","sequence":"first","affiliation":[]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,20]]},"reference":[{"issue":"3","key":"9414_CR1","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/j.entcs.2007.07.007","volume":"190","author":"P. Baltazar","year":"2007","unstructured":"Baltazar P., Mateus P., Nagarajan R., Papanikolaou N.: Exogenous probabilistic computation tree logic. Electronic Notes in Theoretical Computer Science 190(3), 95\u2013110 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9414_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic. Vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9414_CR3","unstructured":"Caleiro, C., C. Sernadas, and A. Sernadas, Parameterisation of logics. In J. Fiadeiro (ed.), Recent Trends in Algebraic Development Techniques - Selected Papers, vol. 1589 of Lecture Notes in Computer Science, Springer, 1999, pp. 48\u201362."},{"issue":"1-2","key":"9414_CR4","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/j.tcs.2007.02.040","volume":"379","author":"R. Chadha","year":"2007","unstructured":"Chadha R., Cruz-Filipe L., Mateus P., Sernadas A.: Reasoning about probabilistic sequential programs. Theoretical Computer Science 379(1-2), 142\u2013165 (2007)","journal-title":"Theoretical Computer Science"},{"key":"9414_CR5","doi-asserted-by":"crossref","unstructured":"Chadha, R., P. Mateus, A. Sernadas, and C. Sernadas, Extending classical logic for reasoning about quantum systems. In D. Gabbay, K. Engesser, and D. Lehmann (eds.), Handbook of Quantum Logic and Quantum Structures: Quantum Logic, Elsevier, 2009, pp. 325\u2013372.","DOI":"10.1016\/B978-0-444-52869-8.50011-6"},{"key":"9414_CR6","doi-asserted-by":"crossref","unstructured":"del Cerro, L. Fari\u00f1as, and A. Herzig, Combining classical and intuitionistic logic. In F. Baader, and K. Schulz (eds.), Frontiers of Combining Systems, Kluwer Academic Publishers, 1996, pp. 93\u2013102.","DOI":"10.1007\/978-94-009-0349-4_4"},{"key":"9414_CR7","unstructured":"Fajardo, R. A. S., and M. Finger, Non-normal modalisation. In Advances in Modal Logic, vol. 4, King\u2019s College Publications, 2003, pp. 83\u201395."},{"issue":"3","key":"9414_CR8","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger M., Gabbay D.M.: Adding a temporal dimension to a logic system. Journal of Logic, Language and Information 1(3), 203\u2013233 (1992)","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"9414_CR9","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1093\/jigpal\/10.2.165","volume":"10","author":"M. Finger","year":"2002","unstructured":"Finger M., Weiss M.A.: The unrestricted combination of temporal logic systems. Logic Journal of the IGPL 10(2), 165\u2013189 (2002)","journal-title":"Logic Journal of the IGPL"},{"key":"9414_CR10","doi-asserted-by":"crossref","unstructured":"Goldblatt, R., Mathematical modal logic: A view of its evolution. In D. M. Gabbay, and J.Woods (eds.), Handbook of the History of Logic, vol. 7, Elsevier, 2006, pp. 1\u201398.","DOI":"10.1016\/S1874-5857(06)80027-0"},{"issue":"4","key":"9414_CR11","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"Huet G.: Confluent reductions: abstract properties and applications to term rewriting systems. Journal of the Association for Computing Machinery 27(4), 797\u2013821 (1980)","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"5","key":"9414_CR12","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1016\/j.ic.2006.02.001","volume":"204","author":"P. Mateus","year":"2006","unstructured":"Mateus P., Sernadas A.: Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation 204(5), 771\u2013794 (2006) ArXivmath.LO\/0503453","journal-title":"Information and Computation"},{"key":"9414_CR13","unstructured":"Mateus, P., A. Sernadas, and C. Sernadas, Exogenous semantics approach to enriching logics. In G. Sica (ed.), Essays on the Foundations of Mathematics and Logic, vol. 1, Polimetrica, 2005, pp. 165\u2013194."},{"key":"9414_CR14","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"M.H.A. Newman","year":"1942","unstructured":"Newman M.H.A.: On theories with a combinatorial definition of \u201cequivalence\u201d. Annals of Mathematics. Second Series 43, 223\u2013243 (1942)","journal-title":"Annals of Mathematics. Second Series"},{"issue":"6","key":"9414_CR15","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1093\/logcom\/exp023","volume":"19","author":"A. Sernadas","year":"2009","unstructured":"Sernadas A., Sernadas C., Rasga J., Coniglio M.: A graph-theoretic account of logics. Journal of Logic and Computation 19(6), 1281\u20131320 (2009)","journal-title":"Journal of Logic and Computation"},{"key":"9414_CR16","doi-asserted-by":"crossref","unstructured":"van Dalen, D., Intuitionistic logic. In D. Gabbay, and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. III, D. Reidel Publishing Company, 1986, pp. 225\u2013339.","DOI":"10.1007\/978-94-009-5203-4_4"},{"issue":"3","key":"9414_CR17","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1017\/S0960129598002540","volume":"8","author":"B. Karger von","year":"1998","unstructured":"von Karger B.: Temporal algebra. Mathematical Structures in Computer Science 8(3), 277\u2013320 (1998)","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9414-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9414-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9414-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T23:16:53Z","timestamp":1561850213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9414-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9414"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9414-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}