{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:27Z","timestamp":1755220947402,"version":"3.43.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,7]]},"DOI":"10.1023\/a:1004991115882","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"5-27","source":"Crossref","is-referenced-by-count":28,"title":["Why Combine Logics?"],"prefix":"10.1007","volume":"59","author":[{"given":"Patrick","family":"Blackburn","sequence":"first","affiliation":[]},{"given":"Maarten","family":"de Rijke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"143136_CR1","first-page":"2","volume-title":"Model-Theoretic Logics","author":"J. Barwise","year":"1985","unstructured":"BARWISE, J., 1985, \u2018Model theoretic logics: background and aims\u2019, In J. Barwise and S. Feferman (eds) Model-Theoretic Logics, Springer, New York, 2\u201323."},{"key":"143136_CR2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic (II)","author":"J. Van Benthem","year":"1984","unstructured":"VAN BENTHEM, J., 1984, \u2018Correspondence theory\u2019, In D. Gabbay and F. Guenthner (eds) Handbook of Philosophical Logic (II), Reidel, Dordrecht, 167\u2013247."},{"key":"143136_CR3","first-page":"1","volume-title":"Diamonds and Defaults","author":"J. Van Benthem","year":"1993","unstructured":"VAN BENTHEM, J., 1993, \u2018Beyond accessibility\u2019, In M. de Rijke (ed), Diamonds and Defaults, Kluwer Academic Publishers, Dordrecht, 1\u201318."},{"key":"143136_CR4","doi-asserted-by":"crossref","unstructured":"BLACKBURN, P., and C. GARDENT, 1995, \u2018A specification language for Lexical Functional Grammars\u2019, Proceedings of the 7th Conference of the European Chapter of the Association of Computational Linguistics, Dublin.","DOI":"10.3115\/976973.976980"},{"key":"143136_CR5","first-page":"86","volume-title":"Proceedings of CSL'95","author":"P. Blackburn","year":"1996","unstructured":"BLACKBURN, P., W. MEYER-VIOL, and M. DE RIJKE, 1996, \u2018A proof system for finite trees\u2019, In Proceedings of CSL'95, Springer, New York, 86\u2013105."},{"key":"143136_CR6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1008204403391","volume":"6","author":"P. Blackburn","year":"1997","unstructured":"BLACKBURN, P., and M. DE RIJKE, 1997, \u2018Zooming in, zooming out\u2019, Journal of Logic, Language and Information\n6, 5\u201331.","journal-title":"Journal of Logic, Language and Information"},{"key":"143136_CR7","volume-title":"Meaning and Necessity","author":"R. Carnap","year":"1947","unstructured":"CARNAP, R., 1947, Meaning and Necessity, The University of Chicago Press, Chicago."},{"key":"143136_CR8","unstructured":"FINE, K., and G. SCHURZ, 1991, \u2018Transfer theorems for stratified multi-modal logics\u2019, In Proceedings of the Arthur Prior Memorial Conference, To appear."},{"key":"143136_CR9","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"FINGER, M., and D. M. GABBAY, 1992, \u2018Adding a temporal dimension to a logic system\u2019, Journal of Logic, Language and Information\n1, 203\u2013233.","journal-title":"Journal of Logic, Language and Information"},{"key":"143136_CR10","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1040046087","volume":"37","author":"M. Finger","year":"1996","unstructured":"FINGER, M., and D. M. GABBAY, 1996, \u2018Combining temporal logic systems\u2019, Notre Dame Journal of Formal Logic\n37, 204\u2013232.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"143136_CR11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"D. M. Gabbay","year":"1981","unstructured":"GABBAY, D. M., 1981, \u2018An irreflexivity lemma with applications to axiomatisations of conditions on linear frames\u2019, In U. M\u00f6nnich (ed), Aspects of Philosophical Logic, Reidel, Dordrecht, 67\u201389."},{"key":"143136_CR12","unstructured":"GABBAY, D. M., 199-, Fibered Semantics, Manuscript, Imperial College."},{"key":"143136_CR13","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-94-009-6259-0_5","volume-title":"Handbook of Philosophical Logic (II)","author":"J. Garson","year":"1984","unstructured":"GARSON, J., 1984, \u2018Quantification in modal logic\u2019, In D. Gabbay and F. Guenthner (eds) Handbook of Philosophical Logic (II), Reidel, Dordrecht, 249\u2013307."},{"key":"143136_CR14","volume-title":"Generalised Phrase Structure Grammar","author":"G. Gazdar","year":"1985","unstructured":"GAZDAR, G., E. KLEIN, G. PULLUM, I. SAG, 1985, Generalised Phrase Structure Grammar, Basil Blackwell, Oxford."},{"key":"143136_CR15","doi-asserted-by":"crossref","first-page":"517","DOI":"10.2307\/2274697","volume":"56","author":"S. Ghilardi","year":"1991","unstructured":"GHILARDI, S., 1991, \u2018Incompleteness results in Kripke semantics\u2019, Journal of Symbolic Logic\n56, 517\u2013538.","journal-title":"Journal of Symbolic Logic"},{"key":"143136_CR16","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"GROENENDIJK, J., and M. STOKHOF, 1991, \u2018Dynamic predicate logic\u2019, Linguistics and Philosophy,\n14, 39\u2013100.","journal-title":"Linguistics and Philosophy"},{"key":"143136_CR17","first-page":"264","volume":"43","author":"Y. Gurevich","year":"1991","unstructured":"GUREVICH, Y., 1991, \u2018Evolving algebras: a tutorial introduction\u2019, Bulletin EATCS\n43, 264\u2013284.","journal-title":"Bulletin EATCS"},{"key":"143136_CR18","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"HAREL, D., 1984, \u2018Dynamic logic\u2019, In D. Gabbay and F. Guenthner (eds) Handbook of Philosophical Logic 2, Reidel, Dordrecht, 497\u2013604."},{"key":"143136_CR19","unstructured":"HEMASPAANDRA, E., 1994, \u2018Complexity transfer for modal logic\u2019, Proceedings of the Ninth IEEE Symposium on Logic In Computer Science (LICS'94), 1994."},{"key":"143136_CR20","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1305\/ndjfl\/1040046086","volume":"37","author":"E. Hemaspaandra","year":"1996","unstructured":"HEMASPAANDRA, E., 1996, \u2018The price of universality\u2019, Notre Dame Journal of Formal Logic\n37, 174\u2013203.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"143136_CR21","volume-title":"From Discourse to Logic","author":"H. Kamp","year":"1993","unstructured":"KAMP, H., and U. REYLE, 1993, From Discourse to Logic, Kluwer Academic Publishers, Dordrecht."},{"key":"143136_CR22","first-page":"173","volume-title":"The Mental Representation of Grammatical Relations","author":"R. Kaplan","year":"1982","unstructured":"KAPLAN, R., and J. BRESNAN, 1982, \u2018Lexical-functional grammar: a formal system for grammatical representation\u2019, In J. Bresnan (ed), The Mental Representation of Grammatical Relations, MIT Press, Cambridge, 173\u2013281."},{"key":"143136_CR23","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"KRACHT, M., and F. WOLTER, 1991, \u2018Properties of independently axiomatisable bimodal logics\u2019, Journal of Symbolic Logic 56, 1469\u20131485.","journal-title":"Journal of Symbolic Logic"},{"key":"143136_CR24","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1305\/ndjfl\/1040046092","volume":"37","author":"G. Eiben","year":"1996","unstructured":"Eiben, G., \u00c1. Kurucz and A. J\u00c1nossy, 1996, Combining logics via combining algebraic theories', Notre Dame Journal of Formal Logic\n37, 366\u2013380.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"143136_CR25","doi-asserted-by":"crossref","unstructured":"MEYER, R. K., and E. D. MARES, 1994, \u2018The semantics of entailment 0\u2019, In K. Do\u0161en and P. Schr\u00f6der-Heister (eds) Substructural Logic, Oxford University Press, 239\u2013258.","DOI":"10.1093\/oso\/9780198537779.003.0009"},{"key":"143136_CR26","unstructured":"MILNER, R., 1989, Communication and Concurrency, Prentice-Hall."},{"key":"143136_CR27","series-title":"Studies in Logic, Language and Information","volume-title":"Meaning and Partiality","author":"R. Muskens","year":"1996","unstructured":"MUSKENS, R., 1996, Meaning and Partiality, Studies in Logic, Language and Information. CSLI Publications, Stanford."},{"key":"143136_CR28","first-page":"41","volume":"15","author":"H. Ono","year":"1983","unstructured":"ONO, H., 1983, \u2018Model extension theorem and Craig's interpolation theorem for intermediate predicate logics\u2019, Reports on Mathematical Logic\n15, 41\u201358.","journal-title":"Reports on Mathematical Logic"},{"key":"143136_CR29","doi-asserted-by":"crossref","unstructured":"POPKORN, S., 1994, First Steps in Modal Logic, Cambridge University Press.","DOI":"10.1017\/CBO9780511983382"},{"key":"143136_CR30","unstructured":"SELIGMAN, J., 1990, Perspectives: a Relativistic Approach to the Theory of Information, PhD Thesis, University of Edinburgh."},{"key":"143136_CR31","unstructured":"SELIGMAN, J., 1996, Combining logics with ease, In preparation."},{"key":"143136_CR32","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-1-4613-0609-2_9","volume-title":"Mathematical Logic","author":"V. Shehtman","year":"1990","unstructured":"SHEHTMAN, V., and D. SKVORTSOV, 1990, \u2018Semantics of non-classical first-order predicate logics\u2019, In P. Petkov (ed), Mathematical Logic, Plenum Press, New York, 105\u2013116."},{"key":"143136_CR33","unstructured":"SPAAN, E., 1993, Complexity of Modal Logics, PhD Thesis, University of Amsterdam."},{"key":"143136_CR34","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-94-009-6259-0_3","volume-title":"Handbook of Philosophical Logic (II)","author":"R. Thomason","year":"1984","unstructured":"THOMASON, R., 1984, \u2018Combinations of tense and modality\u2019, In D. Gabbay and F. Guenthner (eds) Handbook of Philosophical Logic (II), Reidel, Dordrecht, 135\u2013165."},{"key":"143136_CR35","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1305\/ndjfl\/1040046091","volume":"37","author":"K. Vermeulen","year":"1996","unstructured":"VERMEULEN, K., and A. VISSER, 1996, \u2018Dynamic bracketing and discourse representation\u2019, Notre Dame Journal of Formal Logic\n37, 321\u2013365.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"143136_CR36","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1305\/ndjfl\/1040046085","volume":"37","author":"F. Wolter","year":"1996","unstructured":"WOLTER, F., 1996, \u2018A counterexample in tense logic\u2019, Notre Dame Journal of Formal Logic\n37, 167\u2013173.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004991115882.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004991115882\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004991115882.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:18:32Z","timestamp":1754630312000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004991115882"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["143136"],"URL":"https:\/\/doi.org\/10.1023\/a:1004991115882","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}