{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:51:16Z","timestamp":1743141076494,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022609"},{"type":"electronic","value":"9783642022616"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02261-6_10","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T00:28:49Z","timestamp":1244248129000},"page":"113-123","source":"Crossref","is-referenced-by-count":5,"title":["SAT in Monadic G\u00f6del Logics: A Borderline between Decidability and Undecidability"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[]},{"given":"Agata","family":"Ciabattoni","sequence":"additional","affiliation":[]},{"given":"Norbert","family":"Preining","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"LNL","first-page":"23","volume-title":"Proceedings G\u00f6del 1996. Kurt G\u00f6del\u2019s Legacy","author":"M. Baaz","year":"1996","unstructured":"Baaz, M.: Infinite-valued G\u00f6del logics with 0-1-projections and relativizations. In: Proceedings G\u00f6del 1996. Kurt G\u00f6del\u2019s Legacy. LNL, vol.\u00a06, pp. 23\u201333. Springer, Heidelberg (1996)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45653-8_14","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Baaz","year":"2001","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G.: Herbrand\u2019s Theorem for Prenex G\u00f6del Logic and its Consequences for Theorem Proving. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS, vol.\u00a02250, pp. 201\u2013216. Springer, Heidelberg (2001)"},{"key":"10_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-75560-9_8","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Baaz","year":"2007","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G.: Monadic Fragments of G\u00f6del Logics: Decidability and Undecidability Results. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 77\u201391. Springer, Heidelberg (2007)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M. Baaz","year":"2007","unstructured":"Baaz, M., Preining, N., Zach, R.: First-order G\u00f6del logics. Annals of Pure and Applied Logic\u00a0147, 23\u201347 (2007)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1005026229560","volume":"61","author":"M. Baaz","year":"1998","unstructured":"Baaz, M., H\u00e1jek, P., Svejda, D., Kraj\u00edcek, J.: Embedding Logics into Product Logic. Studia Logica\u00a061(1), 35\u201347 (1998)","journal-title":"Studia Logica"},{"issue":"4","key":"10_CR6","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s11083-008-9094-4","volume":"25","author":"A. Beckmann","year":"2008","unstructured":"Beckmann, A., Goldstern, M., Preining, N.: Continuous Fra\u00efss\u00e9 conjecture. Order\u00a025(4), 281\u2013298 (2008)","journal-title":"Order"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"579","DOI":"10.2307\/2272747","volume":"37","author":"D.M. Gabbay","year":"1972","unstructured":"Gabbay, D.M.: Decidability of some intuitionistic predicate theories. J.\u00a0of Symbolic Logic\u00a037, 579\u2013587 (1972)","journal-title":"J.\u00a0of Symbolic Logic"},{"key":"10_CR8","doi-asserted-by":"publisher","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)"},{"key":"10_CR9","unstructured":"H\u00e1jek, P.: Arithmetical complexity of fuzzy predicate logics: a survey II. Annals of Pure and Applied Logic (to appear)"},{"issue":"2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1016544704961","volume":"71","author":"P. H\u00e1jek","year":"2002","unstructured":"H\u00e1jek, P.: Monadic Fuzzy Predicate Logics. Studia Logica\u00a071(2), 165\u2013175 (2002)","journal-title":"Studia Logica"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"863","DOI":"10.2178\/jsl\/1154698581","volume":"71","author":"P. H\u00e1jek","year":"2006","unstructured":"H\u00e1jek, P., Cintula, P.: On theories and models in fuzzy predicate logics. Journal of Symbolic Logic\u00a071(3), 863\u2013880 (2006)","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4190-4","volume-title":"Classical Descriptive Set Theory","author":"A.S. Kechris","year":"1995","unstructured":"Kechris, A.S.: Classical Descriptive Set Theory. Springer, Heidelberg (1995)"},{"key":"10_CR13","unstructured":"Preining, N.: Complete Recursive Axiomatizability of G\u00f6del Logics. PhD thesis, Vienna University of Technology, Austria (2003)"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF02023019","volume":"23","author":"M. Ragaz","year":"1983","unstructured":"Ragaz, M.: Die Unentscheidbarkeit der einstelligen unendlichwertigen Pr\u00e4dikatenlogik. Arch. math. Logik\u00a023, 129\u2013139 (1983)","journal-title":"Arch. math. Logik"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"264","DOI":"10.2307\/1969974","volume":"64","author":"H. Rogers","year":"1956","unstructured":"Rogers, H.: Certain logical reduction and decision problems. Annals of Mathematics\u00a064, 264\u2013284 (1956)","journal-title":"Annals of Mathematics"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"G. Takeuti","year":"1984","unstructured":"Takeuti, G., Titani, T.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J.\u00a0of Symbolic Logic\u00a049, 851\u2013866 (1984)","journal-title":"J.\u00a0of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02261-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T13:39:35Z","timestamp":1552052375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02261-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022609","9783642022616"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02261-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}