{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:40:07Z","timestamp":1736710807053,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676973"},{"type":"electronic","value":"9783540450085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_19","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:43:15Z","timestamp":1167439395000},"page":"220-236","source":"Crossref","is-referenced-by-count":1,"title":["Term-Modal Logics"],"prefix":"10.1007","author":[{"given":"Melvin","family":"Fitting","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Thalmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Voronkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0747-7171(85)80027-4","volume":"1","author":"E. Eder","year":"1985","unstructured":"Eder, E.: Properties of substitutions and unifications. Journal of Symbolic Computations\u00a01(1), 31\u201348 (1985)","journal-title":"Journal of Symbolic Computations"},{"key":"19_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. The MIT Press, Cambridge (1995)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Proof methods for modal and intuitionistic logics. Synthese Library, vol.\u00a0169. Reidel Publ. Comp., Dordrechtz (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00244394","volume":"4","author":"M. Fitting","year":"1988","unstructured":"Fitting, M.: First-order modal tableaux. Journal of Automated Reasoning\u00a04, 191\u2013213 (1988)","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Fitting, M., Thalmann, L., Voronkov, A.: Term-modal logics. Technical Report UMCS-2000-6-4, Department of Computer Science, University of Manchester (January 2000)","DOI":"10.1007\/10722086_19"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-94-009-6259-0_5","volume-title":"Handbook in Philosophical Logic","author":"J.W. Garson","year":"1984","unstructured":"Garson, J.W.: Quantification in modal logic. In: Gabbay, D., Guenther, F. (eds.) Handbook in Philosophical Logic, vol.\u00a0II, ch. II.5, pp. 249\u2013307. D. Reidel Publishing Company, Dordrechtz (1984)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF01201363","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. Mathematical Zeitschrift\u00a039, 176\u2013210, 405\u2013431 (1934); Translated as [8]","journal-title":"Mathematical Zeitschrift"},{"key":"19_CR8","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68\u2013131. North Holland, Amsterdam (1969); Originally appeared as [7]"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(95)98593-D","volume":"74","author":"A.J. Grove","year":"1995","unstructured":"Grove, A.J.: Naming and identity in epistemic logics part II: A first-order logic for naming. Artificial Intelligence\u00a074, 311\u2013350 (1995)","journal-title":"Artificial Intelligence"},{"key":"19_CR10","first-page":"301","volume-title":"KR 1991. Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning","author":"A.J. Grove","year":"1991","unstructured":"Grove, A.J., Halpern, J.Y.: Naming and identity in a multi-agent epistemic logic. In: Allen, J., Fikes, R., Sandewall, E. (eds.) KR 1991. Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Massachusets, pp. 301\u2013312. Morgan Kaufmann, San Francisco (1991)"},{"key":"19_CR11","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"19_CR12","volume-title":"Beweistheorie (in German)","author":"K. Sch\u00fctte","year":"1960","unstructured":"Sch\u00fctte, K.: Beweistheorie (in German). Springer, Heidelberg (1960)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Smullyan, R.M.: A unifying principle in quantification theory. In: Proc. Nat. Acad. Sci. U.S.A., vol.\u00a049, pp. 828\u2013832 (1963)","DOI":"10.1073\/pnas.49.6.828"},{"key":"19_CR14","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/3-540-61208-4_20","volume-title":"Theorem Proving with Analytic Tableaux and Related Methods","author":"A. Voronkov","year":"1996","unstructured":"Voronkov, A.: Proof search in intuitionistic logic based on constraint satisfaction. In: Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M. (eds.) TABLEAUX 1996. LNCS (LNAI), vol.\u00a01071, pp. 312\u2013329. Springer, Heidelberg (1996)"},{"key":"19_CR15","volume-title":"Automated Deduction in Nonclassical Logics","author":"L.A. Wallen","year":"1990","unstructured":"Wallen, L.A.: Automated Deduction in Nonclassical Logics. The MIT Press, Cambridge (1990)"}],"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\/10722086_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:04:58Z","timestamp":1736708698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/10722086_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}