{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:11:16Z","timestamp":1775038276846,"version":"3.50.1"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,1,12]],"date-time":"2019-01-12T00:00:00Z","timestamp":1547251200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,1,12]],"date-time":"2019-01-12T00:00:00Z","timestamp":1547251200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s11229-018-02076-7","type":"journal-article","created":{"date-parts":[[2019,1,12]],"date-time":"2019-01-12T09:45:10Z","timestamp":1547286310000},"page":"933-956","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Hyperintensional logics for everyone"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1942-7982","authenticated-orcid":false,"given":"Igor","family":"Sedl\u00e1r","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,12]]},"reference":[{"key":"2076_CR1","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1017\/S1755020308090060","volume":"1","author":"S Artemov","year":"2008","unstructured":"Artemov, S. (2008). The logic of justification. The Review of Symbolic Logic, 1, 477\u2013513.","journal-title":"The Review of Symbolic Logic"},{"key":"2076_CR2","volume-title":"Situations and attitudes","author":"J Barwise","year":"1983","unstructured":"Barwise, J., & Perry, J. (1983). Situations and attitudes. Cambridge, MA: MIT Press."},{"key":"2076_CR3","volume-title":"How to sell a contradiction. The logic and metaphysics of inconsistency","author":"F Berto","year":"2007","unstructured":"Berto, F. (2007). How to sell a contradiction. The logic and metaphysics of inconsistency. London: College Publications."},{"key":"2076_CR4","unstructured":"Berto, F. (2013). Impossible worlds. In E. N. Zalta (Ed.), The stanford encyclopedia of philosophy, winter 2013 edition."},{"key":"2076_CR5","doi-asserted-by":"crossref","first-page":"1871","DOI":"10.1007\/s11098-017-0937-y","volume":"175","author":"F Berto","year":"2018","unstructured":"Berto, F. (2018a). Aboutness in imagination. Philosophical Studies, 175, 1871\u20131886.","journal-title":"Philosophical Studies"},{"key":"2076_CR6","doi-asserted-by":"publisher","unstructured":"Berto, F. (2018b). Simple hyperintensional belief revision. Erkenntnis, https:\/\/doi.org\/10.1007\/s10670-018-9971-1","DOI":"10.1007\/s10670-018-9971-1"},{"key":"2076_CR7","volume-title":"The logica yearbook 2018","author":"F Berto","year":"2019","unstructured":"Berto, F. (2019). The theory of topic-sensitive intentional modals. In I. Sedl\u00e1r & M. Blicha (Eds.), The logica yearbook 2018. London: College Publications."},{"key":"2076_CR8","doi-asserted-by":"publisher","unstructured":"Berto, F. & Hawke, P. (2018). Knowability relative to information. Mindhttps:\/\/doi.org\/10.1093\/mind\/fzy045","DOI":"10.1093\/mind\/fzy045"},{"key":"2076_CR9","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02124265","volume":"28","author":"SL Bloom","year":"1971","unstructured":"Bloom, S. L., & Suszko, R. (1971). Semantics for the sentential calculus with identity. Studia Logica, 28, 77\u201381.","journal-title":"Studia Logica"},{"key":"2076_CR10","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1305\/ndjfl\/1093890617","volume":"13","author":"SL Bloom","year":"1972","unstructured":"Bloom, S. L., & Suszko, R. (1972). Investigations into the sentential calculus with identity. Notre Dame Journal of Formal Logic, 13, 289\u2013308.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2076_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic. An introduction","author":"B Chellas","year":"1980","unstructured":"Chellas, B. (1980). Modal logic. An introduction. Cambridge: Cambridge University Press."},{"key":"2076_CR12","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1111\/j.1755-2567.1970.tb00433.x","volume":"36","author":"MJ Cresswell","year":"1970","unstructured":"Cresswell, M. J. (1970). Classical intensional logics. Theoria, 36, 347\u2013372.","journal-title":"Theoria"},{"key":"2076_CR13","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/BF00649986","volume":"1","author":"MJ Cresswell","year":"1972","unstructured":"Cresswell, M. J. (1972). Intensional logics and logical truth. Journal of Philosophical Logic, 1, 2\u201315.","journal-title":"Journal of Philosophical Logic"},{"key":"2076_CR14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF02314421","volume":"34","author":"MJ Cresswell","year":"1975","unstructured":"Cresswell, M. J. (1975). Hyperintensional logic. Studia Logica, 34, 25\u201338.","journal-title":"Studia Logica"},{"key":"2076_CR15","volume-title":"Structured meanings","author":"MJ Cresswell","year":"1985","unstructured":"Cresswell, M. J. (1985). Structured meanings. Cambridge, MA: MIT Press."},{"key":"2076_CR16","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1007\/s11229-014-0578-z","volume":"192","author":"M Du\u017e\u00ed","year":"2015","unstructured":"Du\u017e\u00ed, M., & Jespersen, B. (2015). Transparent quantification into hyperintensional objectual attitudes. Synthese, 192, 635\u2013677.","journal-title":"Synthese"},{"key":"2076_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-8812-3","volume-title":"Procedural semantics for hyperintensional logic","author":"M Du\u017e\u00ed","year":"2010","unstructured":"Du\u017e\u00ed, M., Jespersen, B., & Materna, P. (2010). Procedural semantics for hyperintensional logic. Dordrecht: Springer."},{"key":"2076_CR18","doi-asserted-by":"publisher","unstructured":"Du\u017e\u00ed, M. (2017). If structured propositions are logical procedures then how are procedures individuated? Synthese, https:\/\/doi.org\/10.1007\/s11229-017-1595-5","DOI":"10.1007\/s11229-017-1595-5"},{"key":"2076_CR19","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/BF00883100","volume":"26","author":"R Eberle","year":"1974","unstructured":"Eberle, R. (1974). A logic of believing, knowing, and inferring. Synthese, 26, 356\u2013382.","journal-title":"Synthese"},{"key":"2076_CR20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1988","unstructured":"Fagin, R., & Halpern, J. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34, 39\u201376.","journal-title":"Artificial Intelligence"},{"key":"2076_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambridge, MA: MIT Press."},{"key":"2076_CR22","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/s10992-013-9281-7","volume":"43","author":"K Fine","year":"2014","unstructured":"Fine, K. (2014). Truth-maker semantics for intuitionistic logic. Journal of Philosophical Logic, 43, 549\u2013577.","journal-title":"Journal of Philosophical Logic"},{"key":"2076_CR23","doi-asserted-by":"crossref","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, 199\u2013226.","journal-title":"Journal of Philosophical Logic"},{"key":"2076_CR24","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1002\/9781118972090.ch22","volume-title":"A companion to the philosophy of language","author":"K Fine","year":"2017","unstructured":"Fine, K. (2017). Truthmaker semantics. In B. Hale, C. Wright, & A. Miller (Eds.), A companion to the philosophy of language (pp. 556\u2013577). Hoboken: Wiley-Blackwell."},{"key":"2076_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M Fitting","year":"2005","unstructured":"Fitting, M. (2005). The logic of proofs, semantically. Annals of Pure and Applied Logic, 132, 1\u201325.","journal-title":"Annals of Pure and Applied Logic"},{"key":"2076_CR26","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J Hintikka","year":"1975","unstructured":"Hintikka, J. (1975). Impossible possible worlds vindicated. Journal of Philosophical Logic, 4, 475\u2013484.","journal-title":"Journal of Philosophical Logic"},{"key":"2076_CR27","first-page":"177","volume":"32","author":"W van der Hoek","year":"1989","unstructured":"van der Hoek, W., & Meyer, J.-J. C. (1989). Possible logics for belief. Logique et Analyse, 32, 177\u2013194.","journal-title":"Logique et Analyse"},{"key":"2076_CR28","doi-asserted-by":"crossref","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: Oxford University Press."},{"key":"2076_CR29","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/B978-044481714-3\/50011-4","volume-title":"Handbook of logic and language","author":"T Janssen","year":"1997","unstructured":"Janssen, T. (1997). Compositionality. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language (pp. 417\u2013473). Amsterdam: Elsevier."},{"key":"2076_CR30","doi-asserted-by":"publisher","unstructured":"Jespersen, B. (2017). Anatomy of a proposition. Synthese, https:\/\/doi.org\/10.1007\/s11229-017-1512-y.","DOI":"10.1007\/s11229-017-1512-y"},{"key":"2076_CR31","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1007\/s11229-015-0665-9","volume":"192","author":"B Jespersen","year":"2015","unstructured":"Jespersen, B., & Du\u017e\u00ed, M. (2015). Special section on hyperintensionality. Synthese, 192, 525\u2013677.","journal-title":"Synthese"},{"key":"2076_CR32","doi-asserted-by":"crossref","first-page":"516","DOI":"10.2307\/2216285","volume":"29","author":"JC King","year":"1995","unstructured":"King, J. C. (1995). Structured propositions and complex predicates. No\u00fbs, 29, 516\u2013535.","journal-title":"No\u00fbs"},{"key":"2076_CR33","first-page":"495","volume":"25","author":"JC King","year":"1996","unstructured":"King, J. C. (1996). Structured propositions and sentence structure. Journal of Philosophical Logic, 25, 495\u2013521.","journal-title":"Journal of Philosophical Logic"},{"key":"2076_CR34","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199226061.001.0001","volume-title":"The nature and structure of content","author":"JC King","year":"2007","unstructured":"King, J. C. (2007). The nature and structure of content. Oxford: Oxford University Press."},{"key":"2076_CR35","unstructured":"Konolige, K. (1984). A deduction model of belief and its logics. Ph.D. Thesis, Stanford University."},{"key":"2076_CR36","doi-asserted-by":"publisher","unstructured":"Leitgeb, H. (2018). HYPE: A system of hyperintensional logic (with an application to semantic paradoxes). Journal of Philosophical Logic, https:\/\/doi.org\/10.1007\/s10992-018-9467-0","DOI":"10.1007\/s10992-018-9467-0"},{"key":"2076_CR37","unstructured":"Levesque, H. (1984). A logic of implicit and explicit belief. In Proceedings of AAAI 1984 (pp. 198\u2013202)."},{"key":"2076_CR38","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/BF00413598","volume":"22","author":"DK Lewis","year":"1970","unstructured":"Lewis, D. K. (1970). General semantics. Synthese, 22, 18\u201367.","journal-title":"Synthese"},{"key":"2076_CR39","unstructured":"Montague, R. (1968). Pragmatics. In R. Klibansky (Ed.) Contemporary philosophy: A survey. (pp. 102\u2013122). Florence: La Nuova Italia Editrice (reprinted In R. H. Thomason (Ed.), Formal philosophy: Selected papers of Richard Montague. (pp. 95\u2013118). New Heaven: Yale University Press, 1974.)"},{"key":"2076_CR40","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-94-015-7668-0_4","volume-title":"Processes, beliefs, and questions: Essays on formal semantics of natural language and natural language processing","author":"RC Moore","year":"1982","unstructured":"Moore, R. C., & Hendrix, G. G. (1982). Computational models of belief and the semantics of belief sentences. In S. Peters & E. Saarinen (Eds.), Processes, beliefs, and questions: Essays on formal semantics of natural language and natural language processing (pp. 107\u2013127). Dordrecht: Springer."},{"key":"2076_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-67149-9","volume-title":"Neighborhood semantics for modal logic","author":"E Pacuit","year":"2017","unstructured":"Pacuit, E. (2017). Neighborhood semantics for modal logic. Dordrecht: Springer."},{"key":"2076_CR42","first-page":"106","volume":"35","author":"V Rantala","year":"1982","unstructured":"Rantala, V. (1982a). Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica, 35, 106\u2013115.","journal-title":"Acta Philosophica Fennica"},{"key":"2076_CR43","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00373492","volume":"41","author":"V Rantala","year":"1982","unstructured":"Rantala, V. (1982b). Quantified modal logic: Non-normal worlds and propositional attitudes. Studia Logica, 41, 41\u201365.","journal-title":"Studia Logica"},{"key":"2076_CR44","volume-title":"The logic of inconsistency: A study in non-standard possible worlds semantics and ontology","author":"N Rescher","year":"1980","unstructured":"Rescher, N., & Brandom, R. (1980). The logic of inconsistency: A study in non-standard possible worlds semantics and ontology. Oxford: Basil Blackwell."},{"key":"2076_CR45","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s11229-012-0100-4","volume":"189","author":"D Ripley","year":"2012","unstructured":"Ripley, D. (2012). Structures and circumstances: Two ways to fine-grain propositions. Synthese, 189, 97\u2013118.","journal-title":"Synthese"},{"key":"2076_CR46","volume-title":"Frege\u2019s Puzzle","author":"W Salmon","year":"1986","unstructured":"Salmon, W. (1986). Frege\u2019s Puzzle. Cambridge, MA: MIT Press."},{"key":"2076_CR47","unstructured":"Scott, D. (1970). Advice on modal logic. In K. Lambert K (Ed.), Philosophical problems in logic (pp. 143\u2013173). Dordrecht: Dordrecht Reidel Publishing Company."},{"key":"2076_CR48","volume-title":"An essay in classical modal logic","author":"K Segerberg","year":"1971","unstructured":"Segerberg, K. (1971). An essay in classical modal logic. Uppsala: Filosofiska F\u00f6reningen Och Filosofiska Institutionen Vid Uppsala Universitet."},{"key":"2076_CR49","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1017\/S1755020308090072","volume":"1","author":"G Sillari","year":"2008","unstructured":"Sillari, G. (2008). Quantified logic of awareness and impossible possible worlds. Review of Symbolic Logic, 1, 514\u2013529.","journal-title":"Review of Symbolic Logic"},{"key":"2076_CR50","doi-asserted-by":"crossref","first-page":"47","DOI":"10.5840\/philtopics198715112","volume":"15","author":"S Soames","year":"1987","unstructured":"Soames, S. (1987). Direct reference, propositional attitudes, and semantic content. Philosophical Topics, 15, 47\u201387.","journal-title":"Philosophical Topics"},{"key":"2076_CR51","doi-asserted-by":"crossref","DOI":"10.1515\/9783110849264","volume-title":"The foundations of Frege\u2019s logic","author":"P Tich\u00fd","year":"1988","unstructured":"Tich\u00fd, P. (1988). The foundations of Frege\u2019s logic. Berlin: Walter de Gruyter."},{"key":"2076_CR52","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1002\/malq.19890350611","volume":"35","author":"H Wansing","year":"1989","unstructured":"Wansing, H. (1989). Bemerkungen zur Semantik nicht-normaler m\u00f6glicher Welten. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 35, 551\u2013557.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"2076_CR53","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/BF00370163","volume":"49","author":"H Wansing","year":"1990","unstructured":"Wansing, H. (1990). A general possible worlds framework for reasoning about knowledge and belief. Studia Logica, 49, 523\u2013539.","journal-title":"Studia Logica"},{"key":"2076_CR54","volume-title":"Intensional logic and the metaphysics of intentionality","author":"EN Zalta","year":"1988","unstructured":"Zalta, E. N. (1988). Intensional logic and the metaphysics of intentionality. Cambridge, MA: MIT Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-02076-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-018-02076-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-02076-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T00:56:06Z","timestamp":1720918566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-018-02076-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,12]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["2076"],"URL":"https:\/\/doi.org\/10.1007\/s11229-018-02076-7","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,12]]},"assertion":[{"value":"1 March 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 December 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 January 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}