{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T15:32:42Z","timestamp":1775489562632,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf01053021","type":"journal-article","created":{"date-parts":[[2005,1,27]],"date-time":"2005-01-27T17:38:08Z","timestamp":1106847488000},"page":"29-60","source":"Crossref","is-referenced-by-count":18,"title":["A uniform tableau method for intuitionistic modal logics I"],"prefix":"10.1007","volume":"53","author":[{"given":"Giambattista","family":"Amati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fiora","family":"Pirri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF02429840","volume":"43","author":"M. Bozic","year":"1984","unstructured":"M. Bozic andK. Dosen,Models for normal intuitionistic logics Studia Logica 43 (1984), pp. 217?245.","journal-title":"Studia Logica"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1305\/ndjfl\/1093958154","volume":"VI","author":"R. A. Bull","year":"1965","unstructured":"R. A. Bull,A Modal Extension of Intuitionistic Logic Notre Dame Journal of Formal Logic VI (1965), pp. 142?146.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"609","DOI":"10.2307\/2269696","volume":"13","author":"R. A. Bull","year":"1966","unstructured":"R. A. Bull,MIPC as the formalisation of an Intuitionist Concept of Modality The Journal of Symbolic Logic 13 (1966), pp. 609?616.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"B. Chellas,Modal Logic: an Introduction Cambridge University Press 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-94-009-5203-4_4","volume-title":"Handbook of Philosophical Logic Vol. III","author":"D. Dalen van","year":"1986","unstructured":"D. van Dalen,Intuitionistic Logic in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic Vol. III, Reidel, Dordrecht 1986, pp. 225?339."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00370809","volume":"44","author":"K. Dosen","year":"1985","unstructured":"K. Dosen,Models for strongly normal intuitionistic modal logics Studia Logica 44 (1985), pp. 39?70.","journal-title":"Studia Logica"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"W. B. Ewald","year":"1986","unstructured":"W. B. Ewald,Intuitionistic Tense and Modal Logic Journal of Symbolic Logic 51 (1986), pp. 166?179.","journal-title":"Journal of Symbolic Logic"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF02121259","volume":"36","author":"G. Fischer Servi","year":"1977","unstructured":"G. Fischer Servi,On Modal Logics with an Intuitionistic Base Studia Logica 36 (1977), pp. 141?149.","journal-title":"Studia Logica"},{"issue":"4","key":"CR9","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1305\/ndjfl\/1093888520","volume":"XIX","author":"G. Fischer Servi","year":"1978","unstructured":"G. Fischer Servi,The Finite Model Property for MIPQ and some consequences Notre Dame Journal of Formal Logic XIX, N 4 (1978), pp. 687?692.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-94-009-8937-5_5","volume-title":"Italian Studies in the Philosophy of Science","author":"G. Fischer Servi","year":"1980","unstructured":"G. Fischer Servi,Semantics for a class of Intuitionistic Modal Calculi in M. L. Dalla Chiara (ed.),Italian Studies in the Philosophy of Science Reidel, Dordrecht 1980, pp. 59?72."},{"issue":"5","key":"CR11","first-page":"457","volume":"18-A","author":"G. Fischer Servi","year":"1981","unstructured":"G. Fischer Servi,Remarks on Halmos' Duality Theory Bollettino U. M. I. (5) 18-A (1981), pp. 457?460.","journal-title":"Bollettino U. M. I."},{"key":"CR12","first-page":"203","volume":"1","author":"G. Fischer Servi","year":"1981","unstructured":"G. Fischer Servi,Completeness for Non Normal Intuitionistic Modal Logics Note di Matematica 1 (1981), pp. 203?212.","journal-title":"Note di Matematica"},{"key":"CR13","first-page":"179","volume":"42","author":"G. Fischer Servi","year":"1984","unstructured":"G. Fischer Servi,Axiomatizations for some Intuitionistic Modal Logics Rend. Sem. Mat. Univers. Polit. 42 (1984), pp. 179?194.","journal-title":"Rend. Sem. Mat. Univers. Polit."},{"key":"CR14","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 Reidel, Dordrecht 1983."},{"key":"CR15","first-page":"113","volume":"7","author":"F. B. Fitch","year":"1949","unstructured":"F. B. Fitch,Intuitionistic modal logic with quantifiers Portugal Math. 7 (1949), pp. 113?118.","journal-title":"Portugal Math."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1305\/ndjfl\/1093636766","volume":"XXVII","author":"M. Font","year":"1986","unstructured":"M. Font,Modality and possibility in some intuitionistic modal logics Notre Dame Journal of Formal Logic XXVII (1986), pp. 533?546.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical Investigations in Heyting's Intuitionistic Logic Synthese Library","author":"D. Gabbay","year":"1981","unstructured":"D. Gabbay,Semantical Investigations in Heyting's Intuitionistic Logic, Synthese Library, Reidel, Dordrecht 1981."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"D. Gabbay,Intuitionistic Basis for NonMonotonic Logics,Proc. 6th Conf. on Automated Deduction, Loveland (ed.)LNCS, Vol. 138, Springer ? Verlag 1982, pp. 260 ? 273.","DOI":"10.1007\/BFb0000064"},{"key":"CR19","unstructured":"D. Gabbay andM. R. B. Clarke,An Intuitionistic Basis for NonMonotonic Reasoning, NonStandard Logics for Automated Reasoning, Academic Press 1988, pp. 163 ? 178."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"G. Gentzen,Untersuchungen uber das logische Schliessen Matematische Zeitschrift 39, pp. 176?210 and 405 ? 431, 1935; English translation,Investigations into logical deduction,The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam 1969, pp. 68 ? 131.","journal-title":"Matematische Zeitschrift"},{"key":"CR21","unstructured":"H. Ono.On some intuitionistic modal logics,Publication of The Research Institute for Mathematical Science 13 (1977), Kyoto University, pp. 687 ? 722."},{"key":"CR22","first-page":"55","volume":"21","author":"H. Ono","year":"1987","unstructured":"H. Ono andN. Y. Suzuki,Relations between intuitionistic modal logics and intermediate predicate logics Reports on Matematical logic 21 (1987), pp. 55?67.","journal-title":"Reports on Matematical logic"},{"key":"CR23","unstructured":"G. Plotkin andC. Stirling,A framework for Intuitionistic Modal Logic, J. Y. Halpern (ed.),Theoretical Aspects of Reasoning about Knowledge, Morgan-Kaufmann (1986), pp. 399 ? 406."},{"key":"CR24","unstructured":"A. N. Prior,Time and Modality, Oxford 1957."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF02770508","volume":"48","author":"N. Y. Suzuki","year":"1989","unstructured":"N. Y. Suzuki,An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics Studia Logica 48 (1989), pp. 141?155.","journal-title":"Studia Logica"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF00370365","volume":"49","author":"N. Y. Suzuki","year":"1989","unstructured":"N. Y. Suzuki,Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics Studia Logica 49 (1989) pp. 289?306.","journal-title":"Studia Logica"},{"key":"CR27","volume-title":"Proof theory","author":"G. Takeuti","year":"1975","unstructured":"G. Takeuti,Proof theory Studies in Logic 81, North-Holland 1975."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/BF01874703","volume":"40","author":"D. Vakarelov","year":"1981","unstructured":"D. Vakarelov,Intuitionistic Modal Logics Incompatible with the law of the excluded middle Studia Logica 40 (1981), pp. 103?111.","journal-title":"Studia Logica"},{"key":"CR29","unstructured":"D. Wijesekera,Constructive modal logic,Annals of Pure and Applied Logic 50, 3, North-Holland (1990), pp. 271 ? 301."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01053021\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T13:04:31Z","timestamp":1586091871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01053021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF01053021"],"URL":"https:\/\/doi.org\/10.1007\/bf01053021","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}