{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T20:32:07Z","timestamp":1676925127989},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,6,12]],"date-time":"2012-06-12T00:00:00Z","timestamp":1339459200000},"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":[[2013,2]]},"DOI":"10.1007\/s11225-011-9363-x","type":"journal-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T05:25:04Z","timestamp":1339392304000},"page":"117-155","source":"Crossref","is-referenced-by-count":4,"title":["Importing Logics: Soundness and Completeness Preservation"],"prefix":"10.1007","volume":"101","author":[{"given":"J.","family":"Rasga","sequence":"first","affiliation":[]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,12]]},"reference":[{"key":"9363_CR1","doi-asserted-by":"crossref","unstructured":"Blackburn , P., M. De Rijke, and Y. Venema, Modal logic, Cambridge Tracts in Theoretical Computer Science, Volume 53, Cambridge University Press, Cambridge, 2001.","DOI":"10.1017\/CBO9781107050884"},{"issue":"1\u20132","key":"9363_CR2","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\u20132), 142\u2013165 (2007)","journal-title":"Theoretical Computer Science"},{"key":"9363_CR3","unstructured":"Fajardo R.A.S., and M. Finger Non-normal modalisation, Advances in Modal Logic, Volume 4, King\u2019s College Publications, London, 2003, pp. 83\u201395."},{"issue":"3","key":"9363_CR4","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":"9363_CR5","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1093\/jigpal\/10.2.165","volume":"10","author":"M.A. FingerM. Weiss","year":"2002","unstructured":"FingerM. 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"},{"issue":"4","key":"9363_CR6","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D.M. Gabbay","year":"1996","unstructured":"Gabbay D.M.: Fibred semantics and the weaving of logics I: Modal and intuitionistic logics. The Journal of Symbolic Logic 61(4), 1057\u20131120 (1996)","journal-title":"The Journal of Symbolic Logic"},{"key":"9363_CR7","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, Volume 7, Elsevier, 2006, pp. 1\u201398.","DOI":"10.1016\/S1874-5857(06)80027-0"},{"key":"9363_CR8","unstructured":"MAC Lane S., Categories for the working mathematician, Volume 5, Graduate Texts in Mathematics. Springer-Verlag, Second edition, 1998."},{"issue":"5","key":"9363_CR9","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)","journal-title":"Information and Computation"},{"key":"9363_CR10","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, Volume 1, Polimetrica, 2005\u00a0pp. 165\u2013194."},{"key":"9363_CR11","unstructured":"Rasga J., A. Sernadas and C. Sernadas Fibring as biporting subsumes asymmetric combinations. Preprint, SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal, 2010. Submitted for publication."},{"issue":"3","key":"9363_CR12","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/s11225-012-9414-y","volume":"100","author":"J Rasga","year":"2012","unstructured":"Rasga J, Sernadas A, Sernadas C.: Importing logics. Studia Logica 100(3), 545\u2013581 (2012)","journal-title":"Studia Logica"},{"issue":"6","key":"9363_CR13","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":"9363_CR14","doi-asserted-by":"crossref","unstructured":"Van Dalen D, Intuitionistic logic. in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic Volume 5, Springer, Second edition, 2002, pp. 1\u2013114.","DOI":"10.1007\/978-94-017-0458-8_1"},{"issue":"3","key":"9363_CR15","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1017\/S0960129598002540","volume":"8","author":"B. Von Karger","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-011-9363-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9363-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9363-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T17:50:12Z","timestamp":1561830612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9363-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,12]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["9363"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9363-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,12]]}}}