{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T17:22:24Z","timestamp":1774977744494,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"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":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1998,2]]},"DOI":"10.1023\/a:1018988913388","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"23-49","source":"Crossref","is-referenced-by-count":18,"title":["Hybridizing concept languages"],"prefix":"10.1007","volume":"24","author":[{"given":"Patrick","family":"Blackburn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslava","family":"Tzakova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325505_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1305\/ndjfl\/1093634564","volume":"34","author":"P. Blackburn","year":"1993","unstructured":"P. Blackburn, Nominal tense logic, Notre Dame J. Formal Logic 34 (1993) 56\u201383.","journal-title":"Notre Dame J. Formal Logic"},{"key":"325505_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-94-015-8242-1_2","volume-title":"Diamonds and Defaults","author":"P. Blackburn","year":"1993","unstructured":"P. Blackburn, Modal logic and attribute value structures, in: Diamonds and Defaults, ed. M. de Rijke, Synthese Language Library, Vol. 229 (Kluwer, Dordrecht, 1993) pp. 19\u201365."},{"key":"325505_CR3","first-page":"1","volume-title":"Constraints, Language and Computation","author":"P. Blackburn","year":"1994","unstructured":"P. Blackburn, Structures, languages and translations: the structural approach to feature logic, in: Constraints, Language and Computation, eds. Rupp, Rosner and Johnson (Academic Press, New York, 1994) pp. 1\u201327."},{"key":"325505_CR4","unstructured":"P. Blackburn, Internalizing labeled deduction, in progress (1998). Will be made available at http:\/\/www.coli.uni-sb.de\/~patrick\/."},{"key":"325505_CR5","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P. Blackburn","year":"1995","unstructured":"P. Blackburn and J. Seligman, Hybrid languages, J. Logic Language Information 4 (1995) 251\u2013272.","journal-title":"J. Logic Language Information"},{"key":"325505_CR6","unstructured":"P. Blackburn and J. Seligman, What are Hybrid Languages?, in: Advances in Modal Logic, Vol. 1, eds. Kracht, de Rijke, Wansing and Zakharyaschev (CSLI Publications, 1998) pp. 41\u201362."},{"key":"325505_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01050635","volume":"2","author":"P. Blackburn","year":"1993","unstructured":"P. Blackburn and E. Spaan, A modal perspective on the computational complexity of attribute value grammar, J. Logic Language Information 2 (1993) 129\u2013169.","journal-title":"J. Logic Language Information"},{"key":"325505_CR8","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1093\/jigpal\/6.4.625","volume":"4","author":"P. Blackburn","year":"1998","unstructured":"P. Blackburn and M. Tzakova, Hybrid completeness, Logic J. IGPL 4 (1998) 625\u2013650.","journal-title":"Logic J. IGPL"},{"key":"325505_CR9","doi-asserted-by":"crossref","unstructured":"P. Blackburn and M. Tzakova, Hybrid languages and temporal logic, to appear in Logic J. IGPL (1998).","DOI":"10.1093\/jigpal\/7.1.27"},{"key":"325505_CR10","volume-title":"Computability and Logic","author":"G. Boolos","year":"1989","unstructured":"G. Boolos and R. Jeffrey, Computability and Logic, 3rd ed. (Cambridge University Press, Cambridge, 1989).","edition":"3rd ed."},{"key":"325505_CR11","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1111\/j.1755-2567.1970.tb00428.x","volume":"36","author":"R. Bull","year":"1970","unstructured":"R. Bull, An approach to tense logic, Theoria 36 (1970) 282\u2013300.","journal-title":"Theoria"},{"key":"325505_CR12","doi-asserted-by":"crossref","first-page":"177","DOI":"10.2307\/2275293","volume":"57","author":"M. de Rijke","year":"1992","unstructured":"M. de Rijke, The modal logic of inequality, J. Symbolic Logic 57 (1992) 177\u2013241.","journal-title":"J. Symbolic Logic"},{"key":"325505_CR13","doi-asserted-by":"crossref","first-page":"170","DOI":"10.7551\/mitpress\/4286.003.0013","volume-title":"Logic and Information Flow","author":"M. de Rijke","year":"1994","unstructured":"M. de Rijke, Meeting some neighbours, in: Logic and Information Flow, eds. J. van Eijck and A. Visser (MIT Press, Cambridge, MA, 1994) 170\u2013195."},{"key":"325505_CR14","unstructured":"F. Donini, M. Lenzerini, D. Nardi and A. Schaerf, Reasoning in description logics, in: Principles of Knowledge Representation, ed. G. Brewka, Studies in Logic, Language and Information (CSLI Publications, Stanford University, 1996)."},{"key":"325505_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1453-3","volume-title":"Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics","author":"D. Gabbay","year":"1976","unstructured":"D. Gabbay, Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, Synthese Library, Vol. 92 (D. Reidel, Dordrecht, 1976)."},{"key":"325505_CR16","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G. Gargov","year":"1993","unstructured":"G. Gargov and V. Goranko, Modal logic with names, J. Philos. Logic 22 (1993) 607\u2013636.","journal-title":"J. Philos. Logic"},{"key":"325505_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00215625","volume":"5","author":"V. Goranko","year":"1996","unstructured":"V. Goranko, Hierarchies of modal and temporal logics with reference pointers, J. Logic Language Inform. 5 (1996) 1\u201324.","journal-title":"J. Logic Language Inform."},{"key":"325505_CR18","volume-title":"An interpretation of computational tree logics into temporal logics with reference pointers, Verslagreeks van die Department Wiskunde, RAU, Nommer 2\/96","author":"V. Goranko","year":"1996","unstructured":"V. Goranko, An interpretation of computational tree logics into temporal logics with reference pointers, Verslagreeks van die Department Wiskunde, RAU, Nommer 2\/96, Department of Mathematics, Rand Afrikaans University, Johannesburg, South Africa (1996)."},{"key":"325505_CR19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"V. Goranko and S. Passy, Using the universal modality, J. Logic Comput. 2 (1992) 5\u201320.","journal-title":"J. Logic Comput."},{"key":"325505_CR20","doi-asserted-by":"crossref","unstructured":"G. Hughes and M. Cresswell, A New Introduction to Modal Logic (Routledge, 1996).","DOI":"10.4324\/9780203290644"},{"key":"325505_CR21","unstructured":"N. Kurtonina and M. de Rijke, Classifying description logics, in: Proceedings International Workshop on Description Logics, DL' 97 (1997)."},{"key":"325505_CR22","doi-asserted-by":"crossref","unstructured":"C. Lewis, A Survey of Symbolic Logic (University of California Press, 1918).","DOI":"10.1525\/9780520398252"},{"key":"325505_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BFb0028835","volume-title":"Fundamentals of Computation Theory FCT' 85","author":"S. Passy","year":"1985","unstructured":"S. Passy and T. Tinchev, Quantifiers in combinatory PDL: completeness, definability, incompleteness, in: Fundamentals of Computation Theory FCT' 85, Lecture Notes in Computer Science, Vol. 199 (Springer, New York, 1985) pp. 512\u2013519."},{"key":"325505_CR24","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"S. Passy","year":"1991","unstructured":"S. Passy and T. Tinchev, An essay in combinatory dynamic logic, Information Comput. 93 (1991) 263\u2013332.","journal-title":"Information Comput."},{"key":"325505_CR25","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A. Prior","year":"1967","unstructured":"A. Prior, Past, Present and Future (Oxford University Press, Oxford, 1967)."},{"key":"325505_CR26","volume-title":"Worlds, Times, and Selves","author":"A. Prior","year":"1977","unstructured":"A. Prior and K. Fine, Worlds, Times, and Selves (University of Massachusetts Press, Cambridge, MA, 1977)."},{"key":"325505_CR27","volume-title":"An introduction to the semantics of unification-based grammar formalisms, DYANA deliverable R3.2.A, ESPRIT basic research action BR 3175","author":"M. Reape","year":"1991","unstructured":"M. Reape, An introduction to the semantics of unification-based grammar formalisms, DYANA deliverable R3.2.A, ESPRIT basic research action BR 3175, Centre for Cognitive Science, University of Edinburgh, Scotland (1991)."},{"key":"325505_CR28","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/B978-0-08-050296-0.50010-3","volume-title":"Constraints, Language and Computation","author":"M. Reape","year":"1994","unstructured":"M. Reape, A feature value logic, in: Constraints, Language and Computation, eds. Rupp, Rosner and Johnson (Academic Press, New York, 1994) pp. 77\u2013110."},{"key":"325505_CR29","unstructured":"K. Schild, A correspondence theory for terminological logics: Preliminary report, in: Proc. of IJCAI' 91 (1991) 466\u2013471."},{"issue":"1","key":"325505_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"M. Schmidt-Schau\u00df and G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48(1) (1991) 1\u201326.","journal-title":"Artificial Intelligence"},{"key":"325505_CR31","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-94-015-8879-9_5","volume-title":"Advances in Intensional Logic","author":"J. Seligman","year":"1997","unstructured":"J. Seligman, The logic of correct description, in: Advances in Intensional Logic, ed. M. de Rijke (Kluwer, Dordrecht, 1997) 107\u2013135."},{"key":"325505_CR32","unstructured":"J. Seligman, Proof theory for contextual reasoning, in progress (1998)."},{"key":"325505_CR33","doi-asserted-by":"crossref","unstructured":"M. Tzakova, Tableau calculi for hybrid logics, in progress (1998). Will be made available at http:\/\/www.mpi-sb.mpg.de\/~tzakova\/.","DOI":"10.1007\/3-540-48754-9_24"},{"issue":"3","key":"325505_CR34","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1093\/logcom\/5.3.325","volume":"5","author":"W. van der Hoek","year":"1995","unstructured":"W. van der Hoek and M. de Rijke, Counting objects, J. Logic Comput. 5(3) (1995) 325\u2013345.","journal-title":"J. Logic Comput."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018988913388.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018988913388\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018988913388.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:37:03Z","timestamp":1747546623000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018988913388"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,2]]},"references-count":34,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1998,2]]}},"alternative-id":["325505"],"URL":"https:\/\/doi.org\/10.1023\/a:1018988913388","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,2]]}}}