{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:18Z","timestamp":1725664698542},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633853"},{"type":"electronic","value":"9783540698067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63385-5_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:26:38Z","timestamp":1330280798000},"page":"89-102","source":"Crossref","is-referenced-by-count":1,"title":["A new method for bounding the complexity of modal logics"],"prefix":"10.1007","author":[{"given":"David","family":"Basin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Se\u00e1n","family":"Matthews","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"8_CR1","series-title":"Proceedings of KR'96","first-page":"386","volume-title":"Implementing modal and relevance logics in a logical framework","author":"D. Basin","year":"1996","unstructured":"D. Basin, S. Matthews, and L. Vigan\u00f2. Implementing modal and relevance logics in a logical framework. In L. Carlucci Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of KR'96, pages 386\u2013397. Morgan Kaufmann, San Francisco, 1996."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"D. Basin, S. Matthews, and L. Viganb. Labelled propositional modal logics: theory and practice. Journal of Logic and Computation, 1997. To appear.","DOI":"10.1093\/logcom\/7.6.685"},{"key":"8_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof methods for modal and intuitionistic logics","author":"M. Fitting","year":"1983","unstructured":"M. Fitting. Proof methods for modal and intuitionistic logics. Kluwer, Dordrecht, 1983."},{"key":"8_CR4","first-page":"68","volume-title":"The collected papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"G. Gentzen. Investigations into logical deduction. In M. Szabo, editor, The collected papers of Gerhard Gentzen, pages 68\u2013131. North Holland, Amsterdam, 1969."},{"key":"8_CR5","volume-title":"Proofs and types","author":"J.-Y. Girard","year":"1989","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and types. Cambridge University Press, Cambridge, 1989."},{"issue":"3","key":"8_CR6","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Y. Halpern","year":"1992","unstructured":"J. Y. Halpern and Y. O. Moses. A guide to the completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"8_CR7","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/logcom\/3.1.63","volume":"3","author":"J. Hudelmaier","year":"1993","unstructured":"J. Hudelmaier. A O(n log n)-space decision procedure for intuitionistic propositional logic. Journal of Logic and Computation, 3(1):63\u201375, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"8_CR8","series-title":"Proceedings of CSL'95, LNCS 1092","first-page":"320","volume-title":"Improved decision procedures for the modal logics K, T and S4","author":"J. Hudelmaier","year":"1996","unstructured":"J. Hudelmaier. Improved decision procedures for the modal logics K, T and S4. In H. Kleine B\u00fcning, editor, Proceedings of CSL'95, LNCS 1092; pages 320\u2013334. Springer, Berlin, 1996."},{"key":"8_CR9","volume-title":"An introduction to modal logic","author":"G. Hughes","year":"1972","unstructured":"G. Hughes and M. Cresswell. An introduction to modal logic. Routledge, London, 1972."},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"S. Kripke. Semantical analysis of modal logic I. Zeitschrift f\u00fcr mathematische Logik and Grundlagen der Mathematik, 9:67\u201396, 1963.","journal-title":"Zeitschrift f\u00fcr mathematische Logik and Grundlagen der Mathematik"},{"issue":"3","key":"8_CR11","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1137\/0206033","volume":"6","author":"R. E. Ladner","year":"1977","unstructured":"R. E. Ladner. The computational complexity of provability in systems of modal propositional logics. SIAM Journal of Computing, 6(3):46\u201365, 1977.","journal-title":"SIAM Journal of Computing"},{"key":"8_CR12","volume-title":"Natural deduction","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz. Natural deduction. Almqvist and Wiksell, Stockholm, 1965."},{"key":"8_CR13","volume-title":"Basic proof theory","author":"A. S. Troelstra","year":"1996","unstructured":"A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Cambridge University Press, Cambridge, 1996."},{"key":"8_CR14","unstructured":"L. Vigan\u00f6. A framework for non-classical logics. PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00e4cken, Germany, 1997. Forthcoming."},{"key":"8_CR15","volume-title":"Automated deduction in non-classical logics","author":"L. Wallen","year":"1990","unstructured":"L. Wallen. Automated deduction in non-classical logics. MIT Press, Cambridge, Massachusetts, 1990."},{"key":"8_CR16","volume-title":"Modal logic: the Lewis-modal systems","author":"J. J. Zeman","year":"1973","unstructured":"J. J. Zeman. Modal logic: the Lewis-modal systems. Oxford University Press, Oxford, 1973."}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63385-5_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:43:57Z","timestamp":1619559837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63385-5_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633853","9783540698067"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63385-5_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}