{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,31]],"date-time":"2023-10-31T10:03:24Z","timestamp":1698746604540},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"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":[[1991,3]]},"DOI":"10.1007\/bf00370393","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T18:49:35Z","timestamp":1099421375000},"page":"149-160","source":"Crossref","is-referenced-by-count":1,"title":["Predicate provability logic with non-modalized quantifiers"],"prefix":"10.1007","volume":"50","author":[{"given":"Giorgie","family":"Dzhaparidze","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"?. ?. ???????, ???????????????? ???????????? ??????????? ????? ????????????, ??? ???? 284 (1985), ??. 2, ??. 270?271."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF00370322","volume":"39","author":"G. Boolos","year":"1980","unstructured":"G. Boolos, ? consistency and the diamond, Studia Logica 39 (1980), pp. 237?243.","journal-title":"Studia Logica"},{"issue":"no. 1","key":"CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.2307\/2273871","volume":"52","author":"G. Boolos","year":"1987","unstructured":"G. Boolos and V. McGee, The degree of the set of sentences of predicate provability logic that are true under every interpretation, Journal of Symbolic Logic 52 (1987), no. 1, pp. 165?171.","journal-title":"Journal of Symbolic Logic"},{"key":"CR4","unstructured":"G. Boolos, The Unprovability of Consistency: An Essay in Modal Logic, Cambridge, 1979."},{"key":"CR5","unstructured":"?. ?. ??????????, ????????????? ?????? ????????????, ? ??????????????? ?????? ? ?????????? ????????? ??????, ???????, ??????????, 1988, ??. 16?48."},{"issue":"no. 1","key":"CR6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF00401550","volume":"49","author":"G. K. Dzhaparidze","year":"1990","unstructured":"G. K. Dzhaparidze, Decidable and enumerable predicate logics of provability, Studia Logica 49 (1990), no. 1, pp. 7?21.","journal-title":"Studia Logica"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S. Feferman","year":"1960","unstructured":"S. Feferman, Arithmetisation of metamathematics in a general setting, Fundamenta Mathematicae 49 (1960), pp. 35?92.","journal-title":"Fundamenta Mathematicae"},{"issue":"no. 2","key":"CR8","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1305\/ndjfl\/1093870577","volume":"25","author":"F. Montagna","year":"1984","unstructured":"F. Montagna, The predicate modal logic of provability, Notre Dame Journal of Formal Logic, 25 (1984), no. 2, pp. 179?189.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. M. Solovay","year":"1976","unstructured":"R. M. Solovay, Provability interpretations of modal logic, Israel Journal of Mathematics 25 (1976), pp. 287?304.","journal-title":"Israel Journal of Mathematics"},{"key":"CR10","unstructured":"?. ?. ????????, ?????????????? ????????? ??????????? ????? ????????????, ??? ??? 288 (1986), ??. 1, ??. 11?14."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370393.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370393\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:44:08Z","timestamp":1554759848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["BF00370393"],"URL":"https:\/\/doi.org\/10.1007\/bf00370393","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}