{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:36Z","timestamp":1742635956767},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615118"},{"type":"electronic","value":"9783540686873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_116","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:50:57Z","timestamp":1330293057000},"page":"598-612","source":"Crossref","is-referenced-by-count":9,"title":["Resolution-based calculi for modal and temporal logics"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Nonnengart","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"3","key":"53_CR1","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1093\/logcom\/2.3.247","volume":"2","author":"Y. Auffray","year":"1992","unstructured":"Yves Auffray and Patrice Enjalbert. Modal theorem proving: An equational view-point. Journal of Logic and Computation, 2(3):247\u2013295, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"53_CR2","doi-asserted-by":"crossref","unstructured":"Brian F. Chellas. Modal Logic, an introduction. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"53_CR3","volume-title":"Technical Report 257","author":"R. Gor\u00e9","year":"1992","unstructured":"Rajeev Gor\u00e9. Cut-free Sequent and Tableau Systems for Propositional Normal Modal Logics. Technical Report 257, Computer Laboratory, University of Cambridge, Cambridge, England, May 1992."},{"key":"53_CR4","volume-title":"An Introduction to Modal Logic","author":"G. Hughes","year":"1968","unstructured":"G. Hughes and M. Cresswell. An Introduction to Modal Logic. Menthuen, London, 1968."},{"key":"53_CR5","volume-title":"Master's thesis","author":"E. Mohr","year":"1995","unstructured":"Erik Mohr. Resolution-based calculi for modal logics. Master's thesis, University of Saarbr\u00fccken, Germany, 1995."},{"key":"53_CR6","unstructured":"Andreas Nonnengart. First-order modal logic theorem proving and functional simulation. In Ruzena Bajcsy, editor, Proceedings of the 13th IJCAI, volume 1, pages 80\u201385. Morgan Kaufmann Publishers, 1993."},{"key":"53_CR7","doi-asserted-by":"crossref","unstructured":"Andreas Nonnengart. How to use modalities and sorts in prolog. In Craig MacNish, David Pearce, and Lu\u00eds Moniz Pereira, editors, Logics in Artificial Intelligence, volume LNAI 838, pages 365\u2013378. Springer Verlag, 1994.","DOI":"10.1007\/BFb0021985"},{"key":"53_CR8","volume-title":"PhD thesis","author":"A. Nonnengart","year":"1995","unstructured":"Andreas Nonnengart. A Resolution-Based Calculus for Temporal Logics. PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany, December 1995."},{"key":"53_CR9","first-page":"500","volume-title":"volume 310 of LNCS","author":"H. J. Ohlbach","year":"1988","unstructured":"Hans J\u00fcrgen Ohlbach. A resolution calculus for modal logics. In Ewing Lusk and Ross Overbeek, editors, Proc. of 9\n\n                  th\n                \nInternational Conference on Automated Deduction, CADE-88 Argonne, IL, volume 310 of LNCS, pages 500\u2013516, Berlin, Heidelberg, New York, 1988. Springer-Verlag. extended version: SEKI Report SR-88-08, FB Informatik, Universit\u00e4t Kaiserslautern, 1988."},{"issue":"5","key":"53_CR10","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H. J. Ohlbach","year":"1991","unstructured":"Hans J\u00fcrgen Ohlbach. Semantics-based translation methods for modal logics. Journal of Logic and Computation, 1(5):691\u2013746, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"53_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A. Prior","year":"1967","unstructured":"Arthur Prior. Past, Present and Future. Clarendon Press, Oxford, 1967."},{"key":"53_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal Logic","author":"N. Rescher","year":"1971","unstructured":"N. Rescher and A. Urquhart. Temporal Logic. Springer, Berlin, 1971."},{"key":"53_CR13","unstructured":"Krister Segerberg. An essay in classical modal logic. Technical Report 13, University of Uppsala, Filosofiska Studier, 1971. Volume 1\u20133."},{"key":"53_CR14","volume-title":"The Logic of Time","author":"J. Benthem van","year":"1990","unstructured":"Johan van Benthem. The Logic of Time. Reidel, Dordrecht, 1990."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_116.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:33:35Z","timestamp":1619573615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_116","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}