{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T15:35:28Z","timestamp":1775403328969,"version":"3.50.1"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2003,6,13]],"date-time":"2003-06-13T00:00:00Z","timestamp":1055462400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1007\/s00153-003-0180-4","type":"journal-article","created":{"date-parts":[[2004,3,19]],"date-time":"2004-03-19T02:24:03Z","timestamp":1079663043000},"page":"763-768","source":"Crossref","is-referenced-by-count":16,"title":["The decision problem of provability logic with only one atom"],"prefix":"10.1007","volume":"42","author":[{"given":"V\u00edt\u011bzslav","family":"\u0160vejdar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,13]]},"reference":[{"key":"180_CR1","doi-asserted-by":"crossref","unstructured":"Boolos, G.: The Logic of Provability. Cambridge University Press, 1993","DOI":"10.1017\/CBO9780511625183"},{"key":"180_CR2","unstructured":"Chagrov, A., Rybakov, M.: Least number of variables for PSPACE-hardness of provability problem in systems of modal logic. In: Advances in Modal Logics (AIML\u20192002). Toulouse, France, Oct. 2002"},{"key":"180_CR3","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1093\/logcom\/11.4.609","volume":"11","author":"Hemaspaandra","year":"4","unstructured":"Hemaspaandra, E.: The complexity of poor man\u2019s logic. J. Logic Comput. 11(4), 609\u2013622 (2001)","journal-title":"J. Logic Comput."},{"key":"180_CR4","doi-asserted-by":"crossref","unstructured":"Ladner, R.: The computational complexity of provability in systems of modal logic. 6(3), 467\u2013480 (1977)","DOI":"10.1137\/0206033"},{"key":"180_CR5","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, 1994"},{"key":"180_CR6","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C.: Self-Reference and Modal Logic. Springer, New-York, 1985","DOI":"10.1007\/978-1-4613-8601-8"},{"key":"180_CR7","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"Solovay","year":"1976","unstructured":"Solovay, R.M.: Provability interpretations of modal logic. Israel J. Math. 25, 287\u2013304 (1976)","journal-title":"Israel J. Math."},{"key":"180_CR8","unstructured":"Spaan, E.: Complexity of Modal Logics. Dissertation, Faculty of Mathematics and Informatics, University of Amsterdam, Amsterdam, 1993"},{"key":"180_CR9","first-page":"95","volume":"4","author":"\u0160vejdar","year":"2","unstructured":"\u0160vejdar, V.: On provability logic. Nordic J. Philosophical Logic 4(2), 95\u2013116 (2000)","journal-title":"Nordic J. Philosophical Logic"},{"key":"180_CR10","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1007\/s00153-003-0179-x","volume":"42","author":"\u0160vejdar","year":"2003","unstructured":"\u0160vejdar, V.: On the Polynomial-Space Completeness of Intuitionistic Propositional Logic. Arch. Math. Logic 42, 711\u2013716 (2003)","journal-title":"Arch. Math. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-003-0180-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-003-0180-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-003-0180-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T17:30:37Z","timestamp":1585675837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-003-0180-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6,13]]},"references-count":10,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["180"],"URL":"https:\/\/doi.org\/10.1007\/s00153-003-0180-4","relation":{},"ISSN":["0933-5846"],"issn-type":[{"value":"0933-5846","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6,13]]}}}