{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T04:55:04Z","timestamp":1791262504444,"version":"4.1.0"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T00:00:00Z","timestamp":1765584000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T00:00:00Z","timestamp":1765584000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000267","name":"Arts and Humanities Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000267","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Erkenn"],"published-print":{"date-parts":[[2026,10]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    A logic is said to be hyperintensional when it admits connectives or operators creating hyperintensional contexts, i.e.\u00a0sentential contexts not respecting the intersubstitutivity\n                    <jats:italic>salva veritate<\/jats:italic>\n                    of co-intensionals. Odintsov and Wansing (J Philos Logic 50(1):33\u201356, 2021) suggest a formal criterion for classifying a logic as hyperintensional based on whether its consequence relation is self-extensional. I argue that satisfaction of Odintsov and Wansing\u2019s criterion is neither necessary nor sufficient for characterising a logic as hyperintensional. Indeed, the criterion classifies as hyperintensional logics which are not meant to capture hyperintensional behaviour, and fails to classify as hyperintensional logics which admit some forms of hyperintensional behaviour. I suggest several possible criteria for a logic to count as hyperintensional, arguing that each of them corresponds to a different understanding of hyperintensionality for logics. Then, I weigh these criteria against a family of logics, which display different \u201cnuances\u201d of hyperintensional behaviour. Finally, I gesture towards a diagnosis of hyperintensionality for logics.\n                  <\/jats:p>","DOI":"10.1007\/s10670-025-01047-y","type":"journal-article","created":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:58:06Z","timestamp":1765619886000},"page":"3367-3398","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Hyperintensionality for Logics"],"prefix":"10.1007","volume":"91","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1567-7095","authenticated-orcid":false,"given":"Maria Beatrice","family":"Buonaguidi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,12,13]]},"reference":[{"issue":"1","key":"1047_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad, A., & Nelson, D. (1984). Constructible falsity and inexact predicates. The Journal of Symbolic Logic, 49(1), 231\u2013233.","journal-title":"The Journal of Symbolic Logic"},{"issue":"5","key":"1047_CR2","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1093\/jigpal\/jzy064","volume":"28","author":"A Avron","year":"2020","unstructured":"Avron, A., & Zamansky, A. (2020). Paraconsistency, self-extensionality, modality. Logic Journal of the IGPL, 28(5), 851\u2013880.","journal-title":"Logic Journal of the IGPL"},{"key":"1047_CR3","unstructured":"Barton, N. (2025). Forcing and indeterminate names. Manuscript."},{"key":"1047_CR4","volume-title":"Situations and attitudes","author":"J Barwise","year":"1983","unstructured":"Barwise, J., & Perry, J. (1983). Situations and attitudes. MIT Press."},{"key":"1047_CR5","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198244288.001.0001","volume-title":"Quality and concept","author":"G Bealer","year":"1982","unstructured":"Bealer, G. (1982). Quality and concept. Oxford University Press."},{"issue":"4","key":"1047_CR6","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1017\/S1755020313000142","volume":"6","author":"JC Beall","year":"2013","unstructured":"Beall, J. C. (2013). LP+, K3+, FDE+, and their \u2018classical collapse\u2019. Review of Symbolic Logic, 6(4), 742\u2013754.","journal-title":"Review of Symbolic Logic"},{"issue":"266","key":"1047_CR7","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1093\/pq\/pqw028","volume":"67","author":"JC Bjerring","year":"2017","unstructured":"Bjerring, J. C., & Schwarz, W. (2017). Granularity problems. Philosophical Quarterly, 67(266), 22\u201337.","journal-title":"Philosophical Quarterly"},{"key":"1047_CR8","first-page":"25","volume":"6","author":"P Cabalar","year":"2006","unstructured":"Cabalar, P., Odintsov, S. P., & Pearce, D. (2006). Logical foundations of well-founded semantics. Knowledge Representation, 6, 25\u201335.","journal-title":"KR"},{"key":"1047_CR9","doi-asserted-by":"crossref","unstructured":"Carnielli, W., Coniglio, M.E., & Marcos, J. (2007). Logics of formal inconsistency. In: D.M. Gabbay, F. Guenthner (Eds.), Handbook of philosophical logic, 14,  1\u201393. Springer","DOI":"10.1007\/978-1-4020-6324-4_1"},{"issue":"2","key":"1047_CR10","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10992-010-9165-z","volume":"41","author":"P Cobreros","year":"2012","unstructured":"Cobreros, P., Egr\u00e9, P., Ripley, E., & van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2), 347\u2013385.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"1047_CR11","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, 34(1), 25\u201338.","journal-title":"Studia Logica"},{"issue":"5","key":"1047_CR12","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/s10988-019-09279-2","volume":"43","author":"M Deigan","year":"2020","unstructured":"Deigan, M. (2020). A plea for inexact truthmaking. Linguistics and Philosophy, 43(5), 515\u2013536.","journal-title":"Linguistics and Philosophy"},{"issue":"1","key":"1047_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1111\/phpe.12079","volume":"30","author":"C Dorr","year":"2016","unstructured":"Dorr, C. (2016). To be F is to be G. Philosophical Perspectives, 30(1), 39\u2013134.","journal-title":"Philosophical Perspectives"},{"key":"1047_CR14","first-page":"15","volume":"20","author":"K Do\u0161en","year":"1986","unstructured":"Do\u0161en, K. (1986). Negation as a modal operator. Reports on Mathematical Logic, 20, 15\u201327.","journal-title":"Reports on Mathematical Logic"},{"issue":"Suppl 22","key":"1047_CR15","doi-asserted-by":"publisher","first-page":"5213","DOI":"10.1007\/s11229-019-02267-w","volume":"198","author":"S Drobyshevich","year":"2021","unstructured":"Drobyshevich, S. (2021). Tarskian consequence relations bilaterally: some familiar notions. Synthese, 198(Suppl 22), 5213\u20135240.","journal-title":"Synthese"},{"issue":"3","key":"1047_CR16","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/s11229-015-0665-9","volume":"192","author":"M Du\u017ei","year":"2015","unstructured":"Du\u017ei, M., & Jespersen, B. (2015). Introduction. Synthese, 192(3), 525\u2013534.","journal-title":"Synthese"},{"issue":"1","key":"1047_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S Feferman","year":"1991","unstructured":"Feferman, S. (1991). Reflecting on incompleteness. Journal of Symbolic Logic, 56(1), 1\u201349.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"1047_CR18","doi-asserted-by":"publisher","first-page":"221","DOI":"10.5840\/jphil201210938","volume":"109","author":"K Fine","year":"2012","unstructured":"Fine, K. (2012). Counterfactuals without possible worlds. Journal of Philosophy, 109(3), 221\u2013246.","journal-title":"Journal of Philosophy"},{"issue":"2","key":"1047_CR19","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":"1047_CR20","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1002\/9781118972090.ch22","volume":"27","author":"K Fine","year":"2017","unstructured":"Fine, K. (2017). Truthmaker semantics. A Companion to the Philosophy of Language, 27, 556\u2013577.","journal-title":"A Companion to the Philosophy of Language"},{"issue":"3","key":"1047_CR21","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. Review of Symbolic Logic, 12(3), 536\u2013556.","journal-title":"Review of Symbolic Logic"},{"issue":"527","key":"1047_CR22","doi-asserted-by":"publisher","first-page":"762","DOI":"10.1093\/mind\/fzad006","volume":"132","author":"C Fiore","year":"2023","unstructured":"Fiore, C., & Rosenblatt, L. (2023). Recapture results and classical logic. Mind, 132(527), 762\u2013788.","journal-title":"Mind"},{"issue":"2","key":"1047_CR23","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1755020321000137","volume":"16","author":"Martin Fischer","year":"2023","unstructured":"Fischer, Martin, Nicolai, Carlo, & Dopico, Pablo. (2023). Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE. Review of Symbolic Logic, 16(2), 425\u2013448.","journal-title":"Review of Symbolic Logic"},{"key":"1047_CR24","unstructured":"Hornischer, L. (2017). Hyperintensionality and synonymy [MSc Master of Logic Dissertation, University of Amsterdam, Amsterdam]."},{"key":"1047_CR25","doi-asserted-by":"crossref","unstructured":"Humberstone, I. L. (1981). From worlds to possibilities. Journal of Philosophical Logic, 10 (3), 313\u2013339.","DOI":"10.1007\/BF00293423"},{"key":"1047_CR26","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L. (2011). The connectives. MIT Press."},{"key":"1047_CR27","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. Oxford University Press."},{"key":"1047_CR28","volume-title":"Proof theory of N4-related paraconsistent logics","author":"N Kamide","year":"2015","unstructured":"Kamide, N., & Wansing, H. (2015). Proof theory of N4-related paraconsistent logics (Vol. 54). College Publications London."},{"issue":"4","key":"1047_CR29","doi-asserted-by":"publisher","first-page":"1260","DOI":"10.1017\/S175502032200020X","volume":"16","author":"J Korbmacher","year":"2023","unstructured":"Korbmacher, J. (2023). Proof systems for exact entailment. Review of Symbolic Logic, 16(4), 1260\u20131295.","journal-title":"Review of Symbolic Logic"},{"issue":"5","key":"1047_CR30","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/s10469-010-9107-4","volume":"49","author":"EI Latkin","year":"2010","unstructured":"Latkin, E. I. (2010). Generalized Kripke semantics for Nelson\u2019s logic. Algebra and Logic, 49(5), 426\u2013443.","journal-title":"Algebra and Logic"},{"key":"1047_CR31","doi-asserted-by":"crossref","unstructured":"Leitgeb, H. (2021). Exact truthmaking as inexact truthmaking by minimal totality facts. Logic in High Definition: Trends in Logical Semantics,  56, 67\u201375.","DOI":"10.1007\/978-3-030-53487-5_5"},{"issue":"2","key":"1047_CR32","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1111\/j.1747-9991.2007.00070.x","volume":"2","author":"H Leitgeb","year":"2007","unstructured":"Leitgeb, H. (2007). What theories of truth should be like (but cannot be). Philosophy Compass, 2(2), 276\u2013290.","journal-title":"Philosophy Compass"},{"issue":"2","key":"1047_CR33","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. Journal of Philosophical Logic, 48(2), 305\u2013405.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"1047_CR34","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1111\/theo.12497","volume":"89","author":"G Lenta","year":"2023","unstructured":"Lenta, G. (2023). Sources of hyperintensionality. Theoria, 89(6), 811\u2013822.","journal-title":"Theoria"},{"issue":"7","key":"1047_CR35","doi-asserted-by":"publisher","first-page":"349","DOI":"10.5840\/jphil2022119725","volume":"119","author":"\u00d8 Linnebo","year":"2022","unstructured":"Linnebo, \u00d8. (2022). Generality explained. Journal of Philosophy, 119(7), 349\u2013379.","journal-title":"Journal of Philosophy"},{"issue":"3","key":"1047_CR36","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1093\/analys\/anac004","volume":"82","author":"C Nicolai","year":"2022","unstructured":"Nicolai, C. (2022). Dream of recapture. Analysis, 82(3), 445\u2013450.","journal-title":"Analysis"},{"issue":"1","key":"1047_CR37","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1017\/jsl.2020.66","volume":"86","author":"C Nicolai","year":"2021","unstructured":"Nicolai, C., & Stern, J. (2021). The modal logics of Kripke-Feferman truth. The Journal of Symbolic Logic, 86(1), 362\u2013396.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"1047_CR38","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(1), 149\u2013160.","journal-title":"Philosophical Studies"},{"issue":"4","key":"1047_CR39","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1093\/logcom\/13.4.453","volume":"13","author":"SP Odintsov","year":"2003","unstructured":"Odintsov, S. P. (2003). Algebraic semantics for paraconsistent Nelson\u2019s logic. Journal of Logic and Computation, 13(4), 453\u2013468.","journal-title":"Journal of Logic and Computation"},{"key":"1047_CR40","first-page":"21","volume":"7","author":"SP Odintsov","year":"2010","unstructured":"Odintsov, S. P. (2010). Combining intuitionistic connectives and Routley negation. Sibirskie \u00c8lektronnye Matematicheskie Izvestiya, 7, 21\u201341.","journal-title":"Sibirskie \u00c8lektronnye Matematicheskie Izvestiya"},{"issue":"1","key":"1047_CR41","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(1), 33\u201356.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"1047_CR42","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1007\/s11229-018-02076-7","volume":"198","author":"I Sedl\u00e1r","year":"2019","unstructured":"Sedl\u00e1r, I. (2019). Hyperintensional logics for everyone. Synthese, 198(2), 933\u2013956.","journal-title":"Synthese"},{"issue":"5","key":"1047_CR43","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1093\/logcom\/exab025","volume":"31","author":"SO Speranski","year":"2021","unstructured":"Speranski, S. O. (2021). Negation as a modality in a quantified setting. Journal of Logic and Computation, 31(5), 1330\u20131355.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"1047_CR44","first-page":"562","volume":"19","author":"SO Speranski","year":"2022","unstructured":"Speranski, S. O. (2022). Some remarks on Do\u0161en\u2019s logic N and its extensions. Siberian Electronic Mathematical Reports, 19(2), 562\u2013577.","journal-title":"Siberian Electronic Mathematical Reports"},{"issue":"2","key":"1047_CR45","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10992-025-09792-9","volume":"54","author":"J Stern","year":"2025","unstructured":"Stern, J. (2025). Adequate conditionals and Kripke\u2019s theory of truth. Journal of Philosophical Logic, 54(2), 451\u2013491.","journal-title":"Journal of Philosophical Logic"},{"key":"1047_CR46","first-page":"409","volume":"52","author":"A Tarski","year":"1936","unstructured":"Tarski, A., et al. (1936). On the concept of logical consequence. Logic, Semantics, Metamathematics, 52, 409\u2013420.","journal-title":"Logic, Semantics, Metamathematics"},{"issue":"16\u201318","key":"1047_CR47","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"RH Thomason","year":"1969","unstructured":"Thomason, R. H. (1969). A semantical study of constructible falsity. Mathematical Logic Quarterly, 15(16\u201318), 247\u2013257.","journal-title":"Mathematical Logic Quarterly"},{"key":"1047_CR48","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic proof theory","author":"AS Troelstra","year":"2000","unstructured":"Troelstra, A. S., & Schwichtenberg, H. (2000). Basic proof theory (Vol. 43). Cambridge University Press."},{"key":"1047_CR49","doi-asserted-by":"crossref","unstructured":"Vakarelov, D. (1989). Consistency, completeness and negation. In: Graham Priest and Richard Routley and Jean Norman (Eds.), Paraconsistent Logic: Essays on the Inconsistent Philosophia Verlag, 328\u2013363.","DOI":"10.2307\/j.ctv2x8v8c7.15"},{"key":"1047_CR50","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1111\/j.1533-6077.2006.00116.x","volume":"16","author":"T Williamson","year":"2006","unstructured":"Williamson, T. (2006). Indicative versus subjunctive conditionals, congruential versus non-hyperintensional contexts. Philosophical Issues, 16, 310\u2013333.","journal-title":"Philosophical Issues"},{"issue":"4","key":"1047_CR51","first-page":"170","volume":"8","author":"R W\u00f3jcicki","year":"1979","unstructured":"W\u00f3jcicki, R. (1979). Referential matrix semantics for propositional calculi. Bulletin of the Section of Logic, 8(4), 170\u2013176.","journal-title":"Bulletin of the Section of Logic"}],"container-title":["Erkenntnis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10670-025-01047-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10670-025-01047-y","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10670-025-01047-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T04:29:18Z","timestamp":1791260958000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10670-025-01047-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,13]]},"references-count":51,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2026,10]]}},"alternative-id":["1047"],"URL":"https:\/\/doi.org\/10.1007\/s10670-025-01047-y","relation":{},"ISSN":["0165-0106","1572-8420"],"issn-type":[{"value":"0165-0106","type":"print"},{"value":"1572-8420","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,13]]},"assertion":[{"value":"22 May 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 November 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 December 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Not applicable.","order":1,"name":"Ethics","label":"Conflict of interest","group":{"name":"EthicsHeading","label":"Declarations"}}]}}