{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T05:46:50Z","timestamp":1774331210888,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T00:00:00Z","timestamp":1717372800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T00:00:00Z","timestamp":1717372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004702","name":"University of Genoa","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004702","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100005743","name":"Universit\u00e0 Cattolica del Sacro Cuore","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005743","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2024,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The aim of this work is to investigate the problem of Logical Omniscience in epistemic logic by means of truthmaker semantics. We will present a semantic framework based on <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\varvec{W}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>W<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>-models extended with a partial function, which selects the <jats:italic>body of knowledge<\/jats:italic> of the agents, namely the set of verifiers of the agent\u2019s <jats:italic>total knowledge<\/jats:italic>. The semantic clause for knowledge follows the intuition that an agent knows some information <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\varvec{\\phi }$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>\u03d5<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, when the <jats:italic>propositional content<\/jats:italic> that <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\varvec{\\phi }$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>\u03d5<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> is <jats:italic>contained<\/jats:italic> in her total knowledge. We will argue that this idea mirrors the philosophical conception of <jats:italic>immanent closure<\/jats:italic> by Yablo (2014), giving to our proposal a strong philosophical motivation. We will discuss the philosophical implications of the semantics and we will introduce its axiomatization.<\/jats:p>","DOI":"10.1007\/s10992-024-09758-3","type":"journal-article","created":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T09:02:39Z","timestamp":1717405359000},"page":"1067-1107","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Truthmaker-based Epistemic Logic"],"prefix":"10.1007","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-4546-823X","authenticated-orcid":false,"given":"Vita","family":"Saitta","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,3]]},"reference":[{"key":"9758_CR1","doi-asserted-by":"publisher","DOI":"10.23943\/princeton\/9780691144955.001.0001","volume-title":"Aboutness","author":"S Yablo","year":"2014","unstructured":"Yablo, S. (2014). Aboutness. Princeton University Press."},{"key":"9758_CR2","first-page":"119","volume":"16","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief: An introduction to the logic of the two notions. Studia Logica, 16, 119\u2013122.","journal-title":"Studia Logica"},{"key":"9758_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-94-010-1807-4_9","volume-title":"Logical Empiricist: Materials and Perspectives","author":"J Hintikka","year":"1975","unstructured":"Hintikka, J. (1975). Knowledge, belief, and logical consequence. In R. Carnap (Ed.), Logical Empiricist: Materials and Perspectives (pp. 161\u2013181). The Netherlands: Springer."},{"key":"9758_CR4","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. (1995). Reasoning About Knowledge. Cambridge, MA: MIT Press."},{"issue":"6","key":"9758_CR5","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/s10992-016-9413-y","volume":"46","author":"K Fine","year":"2017","unstructured":"Fine, K. (2017). A theory of truthmaker content i: Conjunction, disjunction and negation. Journal of Philosophical Logic, 46(6), 625\u2013674.","journal-title":"Journal of Philosophical Logic"},{"key":"9758_CR6","unstructured":"Hawke, P., \u00d6zg\u00fcn, A. (forthcoming). Truthmaker semantics for epistemic logic. Outstanding Contributions to Logic dedicated to Kit Fine."},{"key":"9758_CR7","volume-title":"Conditionals, probability, and paradox: Themes from the philosohy of Dorothy Edgington","author":"K Fine","year":"2021","unstructured":"Fine, K. (2021). Constructing the impossible. In L. Walters & J. Hawthorne (Eds.), Conditionals, probability, and paradox: Themes from the philosohy of Dorothy Edgington. Oxford: Oxford University Press."},{"issue":"4","key":"9758_CR8","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1017\/S175502031700020X","volume":"11","author":"K Fine","year":"2018","unstructured":"Fine, K. (2018). Compliance and command i\u2013categorical imperatives. The Review of Symbolic Logic, 11(4), 609\u2013633.","journal-title":"The Review of Symbolic Logic"},{"issue":"4","key":"9758_CR9","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1017\/S1755020318000059","volume":"11","author":"K Fine","year":"2018","unstructured":"Fine, K. (2018). Compliance and command ii, imperatives and deontics. The Review of Symbolic Logic, 11(4), 634\u2013664.","journal-title":"The Review of Symbolic Logic"},{"issue":"2","key":"9758_CR10","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10992-015-9371-9","volume":"45","author":"K Fine","year":"2016","unstructured":"Fine, K. (2016). Angellic content. Journal of Philosophical Logic, 45(2), 199\u2013226.","journal-title":"Journal of Philosophical Logic"},{"key":"9758_CR11","doi-asserted-by":"publisher","first-page":"1151","DOI":"10.1007\/s10670-013-9545-1","volume":"79","author":"M Jago","year":"2014","unstructured":"Jago, M. (2014). The problem of rational knowledge. Erkenntnis, 79, 1151\u20131168.","journal-title":"Erkenntnis"},{"key":"9758_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/acprof:oso\/9780198722762.003.0004","volume":"5","author":"WH Holliday","year":"2015","unstructured":"Holliday, W. H. (2015). Fallibilism and multiple paths to knowledge. Oxford studies in epistemology, 5, 97\u2013144.","journal-title":"Oxford studies in epistemology"},{"issue":"517","key":"9758_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/fzy045","volume":"130","author":"F Berto","year":"2021","unstructured":"Berto, F., & Hawke, P. (2021). Knowability relative to information. Mind, 130(517), 1\u201333.","journal-title":"Mind"},{"key":"9758_CR14","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/s10992-019-09536-6","volume":"49","author":"P Hawke","year":"2020","unstructured":"Hawke, P., \u00d6zg\u00fcn, A., & Berto, F. (2020). The fundamental problem of logical omniscience. Journal of Philosophical Logic, 49, 727\u2013766.","journal-title":"Journal of Philosophical Logic"},{"key":"9758_CR15","volume-title":"Knowing what follows: Epistemic closure and epistemic logic","author":"WH Holliday","year":"2012","unstructured":"Holliday, W. H. (2012). Knowing what follows: Epistemic closure and epistemic logic. USA: Stanford University Press."},{"issue":"2","key":"9758_CR16","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s11229-008-9411-x","volume":"167","author":"M Jago","year":"2009","unstructured":"Jago, M. (2009). Logical information and epistemic space. Synthese, 167(2), 327\u2013341.","journal-title":"Synthese"},{"key":"9758_CR17","doi-asserted-by":"crossref","unstructured":"Angell, R. B. (1989). Deducibility, entailment and analytic containment. In Directions in Relevant Logic (pp. 119\u2013143). Springer, Netherlands.","DOI":"10.1007\/978-94-009-1005-8_8"},{"key":"9758_CR18","unstructured":"Angell, R. B. (1977). Three systems of first degree entailment. Journal of Symbolic Logic, 42(1)."},{"issue":"5","key":"9758_CR19","doi-asserted-by":"publisher","first-page":"214","DOI":"10.26686\/ajl.v19i5.7420","volume":"19","author":"M Plebani","year":"2022","unstructured":"Plebani, M., Rosella, G., & Saitta, V. (2022). Truthmakers, incompatibility, and modality. The Australasian Journal of Logic, 19(5), 214\u2013253.","journal-title":"The Australasian Journal of Logic"},{"key":"9758_CR20","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1002\/9781118972090.ch22","volume":"2","author":"K Fine","year":"2017","unstructured":"Fine, K. (2017). Truthmaker semantics. A Companion to the Philosophy of Language, 2, 556\u2013577.","journal-title":"A Companion to the Philosophy of Language"},{"key":"9758_CR21","unstructured":"Hoek, D. (forthcoming). Minimal rationality and the web of questions. In D. Kindermann, P. Elswyk, & A. Egan (Eds.), Unstructured Content. Oxford University Press, ???."},{"key":"9758_CR22","unstructured":"Sorensen, R. (2020). Epistemic Paradoxes. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy, Fall (2020th ed.). USA: Metaphysics Research Lab, Stanford University."},{"key":"9758_CR23","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198865636.001.0001","volume-title":"Justification as Ignorance: An Essay in Epistemology","author":"S Rosenkranz","year":"2021","unstructured":"Rosenkranz, S. (2021). Justification as Ignorance: An Essay in Epistemology. Oxford: Oxford University Press."},{"key":"9758_CR24","volume-title":"Philosophy of mind and cognition: An introduction","author":"D Braddon-Mitchell","year":"1996","unstructured":"Braddon-Mitchell, D., & Jackson, F. (1996). Philosophy of mind and cognition: An introduction. Malden, MA: Wiley-Blackwell."},{"key":"9758_CR25","doi-asserted-by":"publisher","first-page":"431","DOI":"10.2307\/2216219","volume":"16","author":"D Lewis","year":"1982","unstructured":"Lewis, D. (1982). Logic for equivocators. Nous, 16, 431\u2013441.","journal-title":"Nous"},{"issue":"1","key":"9758_CR26","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1987","unstructured":"Fagin, R., & Halpern, J. Y. (1987). Belief, awareness, and limited reasoning. Artificial intelligence, 34(1), 39\u201376.","journal-title":"Artificial intelligence"},{"issue":"1","key":"9758_CR27","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1111\/phpr.12330","volume":"97","author":"S Yalcin","year":"2018","unstructured":"Yalcin, S. (2018). Belief as question-sensitive. Philosophy and Phenomenological Research, 97(1), 23\u201347.","journal-title":"Philosophy and Phenomenological Research"},{"key":"9758_CR28","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198709008.001.0001","volume-title":"The impossible: An essay on hyperintensionality","author":"M Jago","year":"2014","unstructured":"Jago, M. (2014). The impossible: An essay on hyperintensionality. UK: OUP Oxford."},{"key":"9758_CR29","doi-asserted-by":"crossref","unstructured":"Elgin, S. Z. (2021). Knowledge is closed under analytic content. Synthese, 1\u201315","DOI":"10.1007\/s11229-021-03027-5"},{"issue":"4","key":"9758_CR30","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1080\/00048402.2017.1388826","volume":"96","author":"P Hawke","year":"2018","unstructured":"Hawke, P. (2018). Theories of aboutness. Australasian Journal of Philosophy, 96(4), 697\u2013723.","journal-title":"Australasian Journal of Philosophy"},{"key":"9758_CR31","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1007\/s11098-016-0724-1","volume":"174","author":"S Yablo","year":"2017","unstructured":"Yablo, S. (2017). Open knowledge and changing the subject. Philosophical Studies, 174, 1047\u20131071.","journal-title":"Philosophical Studies"},{"issue":"1","key":"9758_CR32","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11098-018-1183-7","volume":"177","author":"K Fine","year":"2020","unstructured":"Fine, K. (2020). Yablo on subject-matter. Philosophical Studies, 177(1), 129\u2013171. https:\/\/doi.org\/10.1007\/s11098-018-1183-7","journal-title":"Philosophical Studies"},{"key":"9758_CR33","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s11098-013-0251-2","volume":"171","author":"D Nolan","year":"2014","unstructured":"Nolan, D. (2014). Hyperintensional metaphysics. Philosophical Studies, 171, 149\u2013160.","journal-title":"Philosophical Studies"},{"issue":"1","key":"9758_CR34","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF02314421","volume":"34","author":"MJ Cresswell","year":"1975","unstructured":"Cresswell, M. J. (1975). Hyperintensional logic. Studia Logica: An International Journal for Symbolic Logic, 34(1), 25\u201338.","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"issue":"2","key":"9758_CR35","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10992-018-9467-0","volume":"48","author":"H Leitgeb","year":"2019","unstructured":"Leitgeb, H. (2019). Hype: A system of hyperintensional logic (with an application to semantic paradoxes). Journal of Philosophical Logic, 48(2), 305\u2013405.","journal-title":"Journal of Philosophical Logic"},{"key":"9758_CR36","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10992-020-09558-5","volume":"50","author":"S Odintsov","year":"2021","unstructured":"Odintsov, S., & Wansing, H. (2021). Routley star and hyperintensionality. Journal of Philosophical Logic, 50, 33\u201356.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9758_CR37","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1305\/ndjfl\/1039540766","volume":"38","author":"J Barwise","year":"1997","unstructured":"Barwise, J. (1997). Information and impossibilities. Notre Dame Journal of Formal Logic, 38(4), 488\u2013515.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9758_CR38","unstructured":"Berto, F., & Nolan, D. (2021). Hyperintensionality. Metaphysics Research Lab: Stanford University, USA."},{"issue":"3","key":"9758_CR39","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1017\/S1755020318000151","volume":"12","author":"K Fine","year":"2019","unstructured":"Fine, K., & Jago, M. (2019). Logic for exact entailment. The Review of Symbolic Logic, 12(3), 536\u2013556.","journal-title":"The Review of Symbolic Logic"},{"key":"9758_CR40","volume-title":"Knowledge and its limits","author":"T Williamson","year":"2000","unstructured":"Williamson, T. (2000). Knowledge and its limits. USA: Oxford University Press."},{"key":"9758_CR41","unstructured":"Kr\u00e4mer, S. (Forthcoming). Truthmaker equivalence. In S. Leuenberger, & A. Rieger (Eds.), Themes from Alan Weir (Synthese Library)."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09758-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-024-09758-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09758-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,18]],"date-time":"2024-07-18T10:23:47Z","timestamp":1721298227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-024-09758-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,3]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["9758"],"URL":"https:\/\/doi.org\/10.1007\/s10992-024-09758-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6,3]]},"assertion":[{"value":"6 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 April 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 June 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}