{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:35Z","timestamp":1725533855193},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027154"},{"type":"electronic","value":"9783642027161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02716-1_20","type":"book-chapter","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T04:22:21Z","timestamp":1246335741000},"page":"265-279","source":"Crossref","is-referenced-by-count":12,"title":["Proof Systems for a G\u00f6del Modal Logic"],"prefix":"10.1007","author":[{"given":"George","family":"Metcalfe","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Olivetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"20_CR1","doi-asserted-by":"publisher","first-page":"939","DOI":"10.2307\/2273828","volume":"52","author":"A. Avron","year":"1987","unstructured":"Avron, A.: A constructive analysis of RM. Journal of Symbolic Logic\u00a052(4), 939\u2013951 (1987)","journal-title":"Journal of Symbolic Logic"},{"issue":"3\u20134","key":"20_CR2","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A. Avron","year":"1991","unstructured":"Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence\u00a04(3\u20134), 225\u2013248 (1991)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/logcom\/13.6.835","volume":"13","author":"M. Baaz","year":"2003","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G.: Hypersequent calculi for G\u00f6del logics: a survey. Journal of Logic and Computation\u00a013, 1\u201327 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"20_CR4","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-48754-9_8","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M. Baaz","year":"1999","unstructured":"Baaz, M., Ferm\u00fcller, C.G.: Analytic calculi for projective logics. In: Murray, N.V. (ed.) TABLEAUX 1999. LNCS (LNAI), vol.\u00a01617, pp. 36\u201350. Springer, Heidelberg (1999)"},{"unstructured":"Bou, F., Esteva, F., Godo, L., Rodr\u00edguez, R.: On the minimum many-valued logic over a finite residuated lattice (manuscript)","key":"20_CR5"},{"unstructured":"Caicedo, X., Rodr\u00edguez, R.: A G\u00f6del modal logic (manuscript)","key":"20_CR6"},{"key":"20_CR7","volume-title":"Modal Logic","author":"A. Chagrov","year":"1996","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1996)"},{"unstructured":"Ciabattoni, A., Metcalfe, G., Montagna, F.: Adding modalities to MTL and its extensions. In: Proceedings of the 26th Linz Symposium (to appear)","key":"20_CR8"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. Journal of Symbolic Logic\u00a024, 97\u2013106 (1959)","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"20_CR10","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/jigpal\/7.3.319","volume":"7","author":"R. Dyckhoff","year":"1999","unstructured":"Dyckhoff, R.: A deterministic terminating sequent calculus for G\u00f6del-Dummett logic. Logic Journal of the IGPL\u00a07(3), 319\u2013326 (1999)","journal-title":"Logic Journal of the IGPL"},{"issue":"3-4","key":"20_CR11","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M.C. Fitting","year":"1991","unstructured":"Fitting, M.C.: Many-valued modal logics. Fundamenta Informaticae\u00a015(3-4), 235\u2013254 (1991)","journal-title":"Fundamenta Informaticae"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"M.C. Fitting","year":"1992","unstructured":"Fitting, M.C.: Many-valued modal logics II. Fundamenta Informaticae\u00a017, 55\u201373 (1992)","journal-title":"Fundamenta Informaticae"},{"key":"20_CR13","first-page":"65","volume":"32","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionisticschen Aussagenkalk\u00fcl. Anzeiger Akademie der Wissenschaften Wien, mathematisch-naturwiss. Klasse\u00a032, 65\u201366 (1932)","journal-title":"Anzeiger Akademie der Wissenschaften Wien, mathematisch-naturwiss. Klasse"},{"key":"20_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"issue":"1","key":"20_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P. H\u00e1jek","year":"2005","unstructured":"H\u00e1jek, P.: Making fuzzy description logic more general. Fuzzy Sets and Systems\u00a0154(1), 1\u201315 (2005)","journal-title":"Fuzzy Sets and Systems"},{"key":"20_CR16","series-title":"Applied Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-9409-5","volume-title":"Proof Theory for Fuzzy Logics","author":"G. Metcalfe","year":"2009","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Proof Theory for Fuzzy Logics. Applied Logic, vol.\u00a036. Springer, Heidelberg (2009)"},{"key":"20_CR17","first-page":"190","volume":"1","author":"G. Priest","year":"2008","unstructured":"Priest, G.: Many-valued modal logics: a simple approach. Review of Symbolic Logic\u00a01, 190\u2013203 (2008)","journal-title":"Review of Symbolic Logic"},{"key":"20_CR18","first-page":"7","volume":"7","author":"O. Sonobe","year":"1975","unstructured":"Sonobe, O.: A Gentzen-type formulation of some intermediate propositional logics. Journal of Tsuda College\u00a07, 7\u201314 (1975)","journal-title":"Journal of Tsuda College"},{"key":"20_CR19","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U. Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research\u00a014, 137\u2013166 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"2","key":"20_CR20","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1023\/A:1004916107078","volume":"58","author":"F. Wolter","year":"1997","unstructured":"Wolter, F.: Superintuitionistic companions of classical modal logics. Studia Logica\u00a058(2), 229\u2013259 (1997)","journal-title":"Studia Logica"},{"issue":"1-2","key":"20_CR21","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.tcs.2006.09.021","volume":"368","author":"Z. Zhang","year":"2006","unstructured":"Zhang, Z., Sui, Y., Cao, C., Wu, G.: A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic. Theoretical Computer Science\u00a0368(1-2), 149\u2013160 (2006)","journal-title":"Theoretical Computer Science"}],"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\/978-3-642-02716-1_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T23:58:34Z","timestamp":1633651114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02716-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027154","9783642027161"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02716-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}