{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:17Z","timestamp":1725549977762},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540289319"},{"type":"electronic","value":"9783540318224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11554554_14","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:02:57Z","timestamp":1127815377000},"page":"169-184","source":"Crossref","is-referenced-by-count":8,"title":["An Order-Sorted Quantified Modal Logic for Meta-ontology"],"prefix":"10.1007","author":[{"given":"Ken","family":"Kaneiwa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riichiro","family":"Mizoguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(92)90055-3","volume":"55","author":"C. Beierle","year":"1992","unstructured":"Beierle, C., Hedts\u00fcck, U., Pletat, U., Schmitt, P.H., Siekmann, J.: An order-sorted logic for knowledge representation systems. Artificial Intelligence\u00a055, 149\u2013191 (1992)","journal-title":"Artificial Intelligence"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-48242-3_5","volume-title":"Logic Programming and Automated Reasoning","author":"S. Cerrito","year":"1999","unstructured":"Cerrito, S., Mayer, M.C., Praud, S.: First order linear temporal logic over finite time structures. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 62\u201376. Springer, Heidelberg (1999)"},{"key":"14_CR3","first-page":"89","volume":"3","author":"A.G. Cohn","year":"1989","unstructured":"Cohn, A.G.: Taxonomic reasoning with many sorted logics. Artificial Intelligence Review\u00a03, 89\u2013128 (1989)","journal-title":"Artificial Intelligence Review"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic (1998)","DOI":"10.1007\/978-94-011-5292-1"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0004-3702(91)90009-9","volume":"49","author":"A.M. Frisch","year":"1991","unstructured":"Frisch, A.M.: The substitutional framework for sorted deduction: fundamental results on hybrid reasoning. Artificial Intelligence\u00a049, 161\u2013198 (1991)","journal-title":"Artificial Intelligence"},{"key":"14_CR6","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D.M. Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)"},{"key":"14_CR7","unstructured":"Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: On the computational complexity of spatio-temporal logics. In: Proc. of FLAIRS, pp. 460\u2013464 (2003)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Garson, J.W.: Quantification in modal logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0II, pp. 249\u2013307 (1984)","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"14_CR9","volume-title":"Handbook of Tableau Methods","author":"R. Gor\u00e9","year":"1999","unstructured":"Gor\u00e9, R.: Tableau methods for modal and temporal logics. In: D\u2019Agostino, M., Gabbay, D., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods. Kluwer, Dordrecht (1999)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Guarino, N., Carrara, M., Giaretta, P.: An ontology of meta-level categories. In: Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp. 270\u2013280 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50121-4"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Guarino, N., Welty, C.: Ontological analysis of taxonomic relationships. In: Proceedings of ER 2000: The Conference on Conceptual Modeling (2000)","DOI":"10.1007\/3-540-45393-8_16"},{"issue":"2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.artint.2004.05.001","volume":"158","author":"K. Kaneiwa","year":"2004","unstructured":"Kaneiwa, K.: Order-sorted logic programming with predicate hierarchy. Artificial Intelligence\u00a0158(2), 155\u2013188 (2004)","journal-title":"Artificial Intelligence"},{"key":"14_CR13","unstructured":"Kaneiwa, K., Mizoguchi, R.: Ontological knowledge base reasoning with sort-hierarchy and rigidity. In: Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp. 278\u2013288 (2004)"},{"issue":"1","key":"14_CR14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1013838528631","volume":"69","author":"M.C. Mayer","year":"2001","unstructured":"Mayer, M.C., Cerrito, S.: Ground and free-variable tableaux for variants of quantified modal logics. Studia Logica\u00a069(1), 97\u2013131 (2001)","journal-title":"Studia Logica"},{"key":"14_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024065","volume-title":"Computational Aspects of an Order-Sorted Logic with Term Declarations","author":"M. Schmidt-Schauss","year":"1989","unstructured":"Schmidt-Schauss, M.: Computational Aspects of an Order-Sorted Logic with Term Declarations. Springer, Heidelberg (1989)"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/BFb0035385","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P.H. Schmitt","year":"1997","unstructured":"Schmitt, P.H., Goubault-Larrecq, J.: A tableau system for linear-TIME temporal logic. In: Brinksma, E. (ed.) TACAS 1997, vol.\u00a01217, pp. 130\u2013144. Springer, Heidelberg (1997)"},{"key":"14_CR17","unstructured":"Smith, B.: Basic concepts of formal ontology. Formal Ontology in Information Systems (1998)"},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0004-3702(85)90029-3","volume":"26","author":"C. Walther","year":"1985","unstructured":"Walther, C.: A mechanical solution of Schubert\u2019s steamroller by many-sorted resolution. Artificial Intelligence\u00a026(2), 217\u2013224 (1985)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"14_CR19","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0169-023X(01)00030-1","volume":"39","author":"C. Welty","year":"2001","unstructured":"Welty, C., Guarino, N.: Supporting ontological analysis of taxonomic relationships. Data and Knowledge Engineering\u00a039(1), 51\u201374 (2001)","journal-title":"Data and Knowledge Engineering"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11554554_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:46:44Z","timestamp":1605624404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11554554_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540289319","9783540318224"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11554554_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}