{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:59Z","timestamp":1755220979840,"version":"3.43.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"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":["Studia Logica"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1023\/a:1005072627389","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:31:12Z","timestamp":1040484672000},"page":"303-330","source":"Crossref","is-referenced-by-count":2,"title":["Cut-Free Tableau Calculi for some Intuitionistic Modal Logics"],"prefix":"10.1007","volume":"59","author":[{"given":"Mauro","family":"Ferrari","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"149761_CR1","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF01053021","volume":"53","author":"G. Amati","year":"1994","unstructured":"G. Amati and F. Pirri, 1994, A uniform tableau method for intuitionistic modal logics I*, Studia Logica, 53(1):29\u201360.","journal-title":"Studia Logica"},{"key":"149761_CR2","unstructured":"M.J. Cresswell and G.E. Hughes, 1984, A Companion to Modal Logic, Methuen."},{"key":"149761_CR3","first-page":"203","volume":"1","author":"G. Fischer Servi","year":"1981","unstructured":"G. Fischer Servi, 1981, Completeness for non normal intuitionistic modal logics, Note di Matematica, 1:203\u2013212.","journal-title":"Note di Matematica"},{"key":"149761_CR4","first-page":"179","volume":"42","author":"G. Fischer Servi","year":"1984","unstructured":"G. Fischer Servi, 1984, Axiomatizations for some intuitionistic modal logics, Rend. Sem. Mat. Univers. Polit. Torino, 42:179\u2013194.","journal-title":"Rend. Sem. Mat. Univers. Polit. Torino"},{"key":"149761_CR5","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, 1983, Proof Methods for Modal and Intuitionistic Logics, Reidel, Dordrecht."},{"key":"149761_CR6","volume-title":"Semantical Investigations in Heyting's Intuitionistic Logic","author":"D.M. Gabbay","year":"1981","unstructured":"D.M. Gabbay, 1981, Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht."},{"key":"149761_CR7","unstructured":"P. Miglioli, U. Moscato, and M. Ornaghi, 1994, How to avoid duplications in refutation systems for intuitionistic logic and Kuroda logic, In K. Broda, M. D'Agostino, R. Gor\u00e9, R. Johnson, and S. Reeves, editors, Theorem Proving with Analytic Tableaux and Related Methods: 3rd International Workshop, Abingdon, U.K., 169\u2013187."},{"key":"149761_CR8","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF00881949","volume":"12","author":"P. Miglioli","year":"1994","unstructured":"P. Miglioli, U. Moscato, and M. Ornaghi, 1994, An improved refutation system for intuitionistic predicate logic, Journal of Automated Reasoning, 12:361\u2013373.","journal-title":"Journal of Automated Reasoning"},{"key":"149761_CR9","doi-asserted-by":"crossref","unstructured":"P. Miglioli, U. Moscato, and M. Ornaghi, 1995, Refutation systems for propositional modal logics, In P. Baumgartner, R. H\u00e4nle, and J. Posegga, editors, Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Schloss Rheinfels, St. Goar, Germany, volume 918, 95\u2013105. Springer-Verlag.","DOI":"10.1007\/3-540-59338-1_30"},{"key":"149761_CR10","doi-asserted-by":"crossref","unstructured":"G. Plotkin and C. Stirling, 1986, A framework for intuitionistic modal logic, In J.Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge, 399\u2013406, Morgan-Kaufmann.","DOI":"10.1016\/B978-0-934613-04-0.50032-6"},{"key":"149761_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R.M. Smullyan","year":"1968","unstructured":"R.M. Smullyan, 1968, First-Order Logic, Springer, Berlin."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005072627389.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005072627389\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005072627389.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:11:50Z","timestamp":1754629910000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005072627389"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["149761"],"URL":"https:\/\/doi.org\/10.1023\/a:1005072627389","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}