{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:55:53Z","timestamp":1757314553050},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s10849-005-6406-6","type":"journal-article","created":{"date-parts":[[2005,3,4]],"date-time":"2005-03-04T12:13:01Z","timestamp":1109938381000},"page":"13-48","source":"Crossref","is-referenced-by-count":11,"title":["The Knower Paradox in the Light of Provability Interpretations of Modal Logic"],"prefix":"10.1007","volume":"14","author":[{"given":"Paul","family":"\ufffdgr\ufffd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"338","DOI":"10.2307\/2026335","volume":"80","author":"C.A. Anderson","year":"1983","unstructured":"Anderson, C.A., 1983, ?The Paradox of the Knower,? The Journal of Philosophy 80, 338?355.","journal-title":"The Journal of Philosophy"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Asher, N. and Kamp., H., 1989, ?Self-reference, attitudes and paradox,? in Chierchia et al. (1989): 85?158.","DOI":"10.1007\/978-94-009-2721-6_5"},{"key":"CR3","volume-title":"Knowledge, Belief and Strategic Interaction","year":"1992","unstructured":"Bicchieri, C. and Dalla Chiara, M.L., eds., 1992, Knowledge, Belief and Strategic Interaction, Cambridge: Cambridge University Press."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Binmore, K. and Shin, H.S., 1992, ?Algorithmic knowledge and game theory,? in Bicchieri and Dalla Chiara, pp. 141?154.","DOI":"10.1017\/CBO9780511983474.010"},{"key":"CR5","volume-title":"The Logic of Provability","author":"G. Boolos","year":"1993","unstructured":"Boolos, G., 1993, The Logic of Provability, New York, Cambridge Unversity Press."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00370383","volume":"50","author":"G. Boolos","year":"1991","unstructured":"Boolos, G. and Sambin, G., 1991, ?Provability: The emergence of a mathematical modality,? Studia Logica 50, 1?23.","journal-title":"Studia Logica"},{"key":"CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F., 1980, Modal Logic: An Introduction, Cambridge: Cambridge University Press."},{"key":"CR8","volume-title":"Properties, Types and Meaning, Vol. I, Foundational Issues","year":"1989","unstructured":"Chierchia, G., Partee, B. and Turner, R., eds., 1989, Properties, Types and Meaning, Vol. I, Foundational Issues, Dordrecht: Kluwer Academic Publisher, Studies in Linguistics and Philosophy."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1093\/mind\/110.438.319","volume":"110","author":"C.B. Cross","year":"2001a","unstructured":"Cross, C.B., 2001a, ?The Paradox of the Knower without epistemic closure,? Mind 110, 319?333.","journal-title":"Mind"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/A:1013155912920","volume":"129","author":"C.B. Cross","year":"2001b","unstructured":"Cross, C.B., 2001b, ?A theorem concerning syntactical treatments of non-idealized belief,? Synthese 129, 335?341.","journal-title":"Synthese"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1093\/mind\/113.449.109","volume":"113","author":"C.B. Cross","year":"2004","unstructured":"Cross, C.B., 2004, ?More on the Paradox of the Knower without epistemic closure,? Mind 113, 109?114.","journal-title":"Mind"},{"key":"CR12","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"1972","unstructured":"Enderton, H.B., 1972, A Mathematical Introduction to Logic, San Diego, CA: Academic Press."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"259","DOI":"10.2307\/2964649","volume":"27","author":"S. Feferman","year":"1962","unstructured":"Feferman, S., 1962, ?Transfinite recursive progressions of axiomatic theories,? Journal of Symbolic Logic 27, 259?316.","journal-title":"Journal of Symbolic Logic"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1015063620612","volume":"31","author":"H. Field","year":"2002","unstructured":"Field, H., 2002, ?Saving the truth schema from paradox,? Journal of Philosophical Logic 31, 1?27.","journal-title":"Journal of Philosophical Logic"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90073-X","volume":"33","author":"H. Friedman","year":"1987","unstructured":"Friedman, H. and Sheard, M., 1987, ?An axiomatic approach to self-referential truth,? Annals of Pure and Applied Logic 33, 1?21.","journal-title":"Annals of Pure and Applied Logic"},{"key":"CR16","volume-title":"Collected Works, Vol. 1","author":"K. G\u00f6del","year":"1933","unstructured":"G\u00f6del, K., 1933, ?Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls,? translated in, Collected Works, Vol. 1, K. G\u00f6del, S. Feferman et al., eds., New York: Oxford University Press."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1017\/S0022481200100076","volume":"17","author":"L. Henkin","year":"1952","unstructured":"Henkin, L., 1952, A Problem concerning provability,? Journal of Symbolic Logic 17, 160.","journal-title":"Journal of Symbolic Logic"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1305\/ndjfl\/1093956549","volume":"1","author":"D. Kaplan","year":"1960","unstructured":"Kaplan, D. and Montague, R., 1960, ?A paradox regained,? Notre Dame Journal of Formal Logic 1, 79?90, repr. in Montague (1974), 271?85.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511625381","volume-title":"Paradoxes of Belief and Strategic Rationality","author":"R. Koons","year":"1992","unstructured":"Koons, R., 1992, Paradoxes of Belief and Strategic Rationality, New York: Cambridge University Press."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2266895","volume":"20","author":"M.H. L\u00f6b","year":"1955","unstructured":"L\u00f6b, M.H., 1955, ? Solution of a problem of Leon Henkin,? Journal of Symbolic Logic 20, 115?118.","journal-title":"Journal of Symbolic Logic"},{"key":"CR21","volume-title":"Truth, Vagueness and Paradox: An Essay on the Logic of Truth","author":"V. McGee","year":"1991","unstructured":"McGee, V., 1991, Truth, Vagueness and Paradox: An Essay on the Logic of Truth, Indianapolis: Hackett Publishing Company."},{"key":"CR22","first-page":"153","volume":"16","author":"R. Montague","year":"1963","unstructured":"Montague, R., 1963, ?Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability,? Acta Philosophica Fennica 16, 153?67, repr. in Montague (1974), 286?302.","journal-title":"Acta Philosophica Fennica"},{"key":"CR23","unstructured":"Montague, R., 1974, Formal Philosophy Selected Papers of Richard Montague, edited and with an introduction by R.H. Thomason, New Haven, Yale University Press."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Perlis, D. and Subrahmanian, V., 1994, ?Meta-languages, reflection principles and self-reference,? in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. II: Deduction Methodologies, D. Gabbay, C.J. Hogger and J.A. Robinson, eds., Oxford University Press, pp. 323?358.","DOI":"10.1093\/oso\/9780198537465.003.0005"},{"key":"CR25","volume-title":"Mathematical Logic","author":"W.V.O. Quine","year":"1940","unstructured":"Quine, W.V.O., 1940, Mathematical Logic, Revised Edn., Cambridge, MA: Harvard University Press, 1981.","edition":"Revised"},{"key":"CR26","first-page":"158","volume-title":"The Ways of Paradox and Other Essays","author":"W.V.O. Quine","year":"1953","unstructured":"Quine, W.V.O., 1953, ?Three grades of modal involvement,? in The Ways of Paradox and Other Essays, Cambridge, MA: Harvard University Press, pp. 158?176."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF00262865","volume":"9","author":"W.N. Reinhardt","year":"1980","unstructured":"Reinhardt, W.N., 1980, ?Necessity predicates and operators,? Journal of Philosophical Logic 9, 437?450.","journal-title":"Journal of Philosophical Logic"},{"key":"CR28","first-page":"427","volume":"15","author":"W.N. Reinhardt","year":"1986","unstructured":"Reinhardt, W.N., 1986, ?Epistemic theories and the interpretation of G\u00f6del?s incompleteness theorems,? Journal of Philosophical Logic 15, 427?474.","journal-title":"Journal of Philosophical Logic"},{"key":"CR29","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511625282","volume-title":"Propositional Attitudes, An Essay on Thoughts and How We Ascribe Them","author":"M. Richard","year":"1990","unstructured":"Richard, M., 1990, Propositional Attitudes, An Essay on Thoughts and How We Ascribe Them, New York, Cambridge."},{"key":"CR30","doi-asserted-by":"crossref","first-page":"368","DOI":"10.2307\/2025495","volume":"75","author":"B. Skyrms","year":"1978","unstructured":"Skyrms, B., 1978, ?An immaculate conception of modality, or how to confuse use and mention,? The Journal of Philosophy 75, 368?387.","journal-title":"The Journal of Philosophy"},{"key":"CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-Reference and Modal Logic","author":"C. Smory?ski","year":"1985","unstructured":"Smory?ski, C., 1985, Self-Reference and Modal Logic, New York: Springer Verlag."},{"key":"CR32","first-page":"110","volume-title":"Perspectives on the History of Mathematical Logic","author":"C. Smory?ski","year":"1991","unstructured":"Smory?ski, C., 1991, ?The development of self-reference: L\u00f6b?s theorem,? in Perspectives on the History of Mathematical Logic, T. Drucker, ed., Boston, MA: Birkh\u00e4user, pp. 110?133."},{"key":"CR33","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1016\/B978-0-934613-04-0.50028-4","volume-title":"Reasoning About Knowledge, Proceedings of the TARK Conference","author":"R.M. Smullyan","year":"1986","unstructured":"Smullyan, R.M., 1986, ?Logicians who reason about themselves,? in Reasoning About Knowledge, Proceedings of the TARK Conference, San Mateo, CA: Morgan Kaufman, pp. 341?352."},{"key":"CR34","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195046724.001.0001","volume-title":"G\u00f6del?s Incompleteness Theorems, Oxford Logic Guides 19","author":"R.M. Smullyan","year":"1992","unstructured":"Smullyan, R.M., 1992, G\u00f6del?s Incompleteness Theorems, Oxford Logic Guides 19, New York: Oxford University Press."},{"key":"CR35","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. Solovay","year":"1976","unstructured":"Solovay, R., 1976, ?Provability interpretations of modal logic,? Israel Journal of Mathematics 25, 287?304.","journal-title":"Israel Journal of Mathematics"},{"key":"CR36","doi-asserted-by":"crossref","first-page":"340","DOI":"10.5840\/monist19776039","volume":"60","author":"R. Thomason","year":"1977","unstructured":"Thomason, R., 1977, ?Indirect discourse is not quotational,? The Monist 60, 340?354.","journal-title":"The Monist"},{"key":"CR37","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00413468","volume":"44","author":"R. Thomason","year":"1980","unstructured":"Thomason, R., 1980, ?A note on syntactical treatments of modality,? Synthese 44, 391?395.","journal-title":"Synthese"},{"key":"CR38","volume-title":"Truth and Modality for Knowledge Representation","author":"R. Turner","year":"1990","unstructured":"Turner, R., 1990, Truth and Modality for Knowledge Representation, Cambridge, MA: MIT Press."},{"key":"CR39","doi-asserted-by":"crossref","first-page":"437","DOI":"10.2307\/2219063","volume":"34","author":"T. Tymoczko","year":"1984","unstructured":"Tymoczko, T., 1984, ?An unsolved puzzle about knowledge,? Philosophical Quarterly 34, 437?458.","journal-title":"Philosophical Quarterly"},{"key":"CR40","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1093\/mind\/113.449.95","volume":"113","author":"G. Uzquiano","year":"2004","unstructured":"Uzquiano, G., 2004, ?The Paradox of the Knower without epistemic closure?,? Mind 113, 95?107.","journal-title":"Mind"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-005-6406-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-005-6406-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-005-6406-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T23:32:05Z","timestamp":1706052725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-005-6406-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["6406"],"URL":"https:\/\/doi.org\/10.1007\/s10849-005-6406-6","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}