{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T18:17:33Z","timestamp":1780078653817,"version":"3.54.0"},"reference-count":132,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,7,10]],"date-time":"2018-07-10T00:00:00Z","timestamp":1531180800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s10992-018-9467-0","type":"journal-article","created":{"date-parts":[[2018,7,10]],"date-time":"2018-07-10T07:33:25Z","timestamp":1531208005000},"page":"305-405","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":62,"title":["HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8276-149X","authenticated-orcid":false,"given":"Hannes","family":"Leitgeb","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,7,10]]},"reference":[{"key":"9467_CR1","doi-asserted-by":"crossref","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. Journal of Symbolic Logic, 49, 231\u201333.","journal-title":"Journal of Symbolic Logic"},{"key":"9467_CR2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00818100","volume":"13","author":"AR Anderson","year":"1962","unstructured":"Anderson, A.R., & Belnap, N.D. Jr. (1962). Tautological entailments. Philosophical Studies, 13, 9\u201324.","journal-title":"Philosophical Studies"},{"key":"9467_CR3","volume-title":"Entailment: the logic of relevance and necessity, Vol. 1","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., & Belnap, N.D. Jr. (1975). Entailment: the logic of relevance and necessity Vol. 1. Princeton: Princeton University Press."},{"key":"9467_CR4","volume-title":"Entailment: the logic of relevance and necessity, Vol. 2","author":"AR Anderson","year":"1992","unstructured":"Anderson, A.R., Belnap, N.D. Jr., Dunn, J.M. (1992). Entailment: the logic of relevance and necessity Vol. 2. Princeton: Princeton University Press."},{"key":"9467_CR5","first-page":"147","volume":"42","author":"RB Angell","year":"1977","unstructured":"Angell, R.B. (1977). Three systems of first degree entailment. The Journal of Symbolic Logic, 42, 147.","journal-title":"The Journal of Symbolic Logic"},{"key":"9467_CR6","volume-title":"A-Logic","author":"RB Angell","year":"2002","unstructured":"Angell, R.B. (2002). A-Logic. Lanham: University Press of America."},{"key":"9467_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1215\/00294527-1731407","volume":"54","author":"A Bacon","year":"2013","unstructured":"Bacon, A. (2013). A new conditional for naive truth theory. Notre Dame Journal of Formal Logic, 54, 87\u2013104.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9467_CR8","volume-title":"The liar: an essay in truth and circularity","author":"J Barwise","year":"1989","unstructured":"Barwise, J., & Etchmendy, J. (1989). The liar: an essay in truth and circularity. Oxford: Oxford University Press."},{"key":"9467_CR9","volume-title":"Situations and attitudes","author":"J Barwise","year":"1983","unstructured":"Barwise, J., & Perry, J. (1983). Situations and attitudes. Cambridge: The MIT Press."},{"key":"9467_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780199233915.001.0001","volume-title":"Revenge of the liar. New essays on the paradox","author":"J Beall","year":"2007","unstructured":"Beall, J. (2007). Revenge of the liar. New essays on the paradox. Oxford: Oxford University Press."},{"key":"9467_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199268733.001.0001","volume-title":"Spandrels of truth","author":"J Beall","year":"2009","unstructured":"Beall, J. (2009). Spandrels of truth. Oxford: Oxford University Press."},{"key":"9467_CR12","unstructured":"Belnap, N.D. (1977). A useful four-valued logic. In Dunn, J.M., & Epstein, G. (Eds.) Modern uses of multiple-valued logic (pp. 8\u201337). Dordrecht: Reidel."},{"key":"9467_CR13","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1093\/mind\/fzv026","volume":"124","author":"F Berto","year":"2015","unstructured":"Berto, F. (2015). A modality called \u2018negation\u2019. Mind, 124, 761\u201393.","journal-title":"Mind"},{"key":"9467_CR14","first-page":"259","volume":"3","author":"A Bialynicki-Birula","year":"1957","unstructured":"Bialynicki-Birula, A., & Rasiowa, H. (1957). On the representation of quasi-Boolean algebras. Bulletin Academie Polen. Sci. Cl., 3, 259\u201361.","journal-title":"Bulletin Academie Polen. Sci. Cl."},{"key":"9467_CR15","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics, 37, 823\u201343.","journal-title":"Annals of Mathematics"},{"key":"9467_CR16","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s11098-012-9908-5","volume":"160","author":"R Briggs","year":"2012","unstructured":"Briggs, R. (2012). Interventionist counterfactuals. Philosophical Studies, 160, 139\u201366.","journal-title":"Philosophical Studies"},{"key":"9467_CR17","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.jal.2004.07.016","volume":"3","author":"AB Brunner","year":"2005","unstructured":"Brunner, A.B., & Carnielli, W.A. (2005). Anti-intuitionism and paraconsistency. Journal of Applied Logic, 3, 161\u201384.","journal-title":"Journal of Applied Logic"},{"key":"9467_CR18","volume-title":"Meaning and necessity","author":"R Carnap","year":"1947","unstructured":"Carnap, R. (1947). Meaning and necessity. Chicago: University of Chicago Press."},{"key":"9467_CR19","doi-asserted-by":"crossref","first-page":"233","DOI":"10.2307\/2273616","volume":"46","author":"GW Charlwood","year":"1981","unstructured":"Charlwood, G.W. (1981). An axiomatic version of positive semi-lattice relevance logic. Journal of Symbolic Logic, 46, 233\u201339.","journal-title":"Journal of Symbolic Logic"},{"key":"9467_CR20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s10992-010-9142-6","volume":"40","author":"I Ciardelli","year":"2011","unstructured":"Ciardelli, I., & Roelofsen, F. (2011). Inquisitive logic. Journal of Philosophical Logic, 40, 55\u201394.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR21","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s10992-010-9165-z","volume":"41","author":"P Cobreros","year":"2012","unstructured":"Cobreros, P., Egr\u00e9, P., Ripley, D., van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41, 347\u201385.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-11008-0","volume-title":"Integer programming","author":"M Conforti","year":"2014","unstructured":"Conforti, M., Cornu\u00e9jols, G., Zambelli, G. (2014). Integer programming. Heidelberg: Springer."},{"key":"9467_CR23","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0012-365X(91)90364-8","volume":"89","author":"R Cordovil","year":"1991","unstructured":"Cordovil, R., Fukuda, K., Moreira, M.L. (1991). Clutters and matroids. Discrete Mathematics, 89, 161\u201371.","journal-title":"Discrete Mathematics"},{"key":"9467_CR24","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1017\/S1755020315000258","volume":"9","author":"F Correia","year":"2016","unstructured":"Correia, F. (2016). On the logic of factual equivalence. The Review of Symbolic Logic, 9, 103\u201322.","journal-title":"The Review of Symbolic Logic"},{"key":"9467_CR25","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":"9467_CR26","unstructured":"Dunn, J.M. (1966). The algebra of intensional logics. PhD thesis, University of Pittsburgh."},{"key":"9467_CR27","unstructured":"Dunn, J.M., & Belnap, N.D. Jr. (1975). Intensional algebras. In Anderson, A.R. (Ed.) Entailment (pp. 180\u2013206). Princeton: Princeton University Press."},{"key":"9467_CR28","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M. (1976). Intuitive semantics for first-degree entailments and coupled trees. Philosophical Studies, 29, 149\u201368.","journal-title":"Philosophical Studies"},{"key":"9467_CR29","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2214128","volume":"7","author":"JM Dunn","year":"1993","unstructured":"Dunn, J.M. (1993). Star and perp: two treatments of negation. Philosophical Perspectives, 7, 331\u2013357.","journal-title":"Philosophical Perspectives"},{"key":"9467_CR30","unstructured":"Dunn, J.M. (1996). Generalized ortho negation. In Wansing, H. (Ed.) Negation: a concept in focus (pp. 3\u201326): de Gruyter."},{"key":"9467_CR31","unstructured":"Dunn, J.M. (1999). A comparative study of various semantical treatments of negation: a history of formal negation. In Gabbay, D., & Wansing, H. (Eds.) What is negation? (pp. 23\u201351). Dordrecht: Kluwer Academic Publishers."},{"key":"9467_CR32","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"66","author":"JM Dunn","year":"2000","unstructured":"Dunn, J.M. (2000). Partiality and its dual. Studia Logica, 66, 5\u201340.","journal-title":"Studia Logica"},{"key":"9467_CR33","unstructured":"Dunn, J.M., & Restall 2002, G. (2002). Relevance logic. In Guenthner, F., & Gabbay, D. (Eds.) Handbook of philosophical logic (Vol. 6, pp. 1\u2013128). Dordrecht: Kluwer."},{"key":"9467_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-8812-3","volume-title":"Procedural semantics for hyperintensional logic. foundations and applications of transparent intensional logic, logic, epistemology, and the unity of science, Vol. 17","author":"M Duzi","year":"2010","unstructured":"Duzi, M., Jespersen, B., Materna, P. (2010). Procedural semantics for hyperintensional logic. foundations and applications of transparent intensional logic, logic, epistemology, and the unity of science Vol. 17. Dordrecht: Springer."},{"key":"9467_CR35","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0021-9800(70)80083-7","volume":"8","author":"J Edmonds","year":"1970","unstructured":"Edmonds, J., & Fulkerson, D.R. (1970). Bottleneck extrema. Journal of Combinatorial Theory, 8, 299\u2013306.","journal-title":"Journal of Combinatorial Theory"},{"key":"9467_CR36","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","volume":"49","author":"S Fefermann","year":"1984","unstructured":"Fefermann, S. (1984). Toward useful type-free theories I. Journal of Symbolic Logic, 49, 75\u2013111.","journal-title":"Journal of Symbolic Logic"},{"key":"9467_CR37","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001","volume-title":"Saving truth from paradox","author":"H Field","year":"2008","unstructured":"Field, H. (2008). Saving truth from paradox. Oxford: Oxford University Press."},{"key":"9467_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020313000312","volume":"7","author":"H Field","year":"2014","unstructured":"Field, H. (2014). Naive truth and restricted quantification: saving truth a whole lot better. Review of Symbolic Logic, 7, 1\u201345.","journal-title":"Review of Symbolic Logic"},{"key":"9467_CR39","unstructured":"Field, H. (forthcoming). Indicative conditionals, restricted quantifiers, and naive truth, forthcoming in Review of Symbolic Logic."},{"key":"9467_CR40","unstructured":"Fine, K. (2012). A guide to ground. In Correia, F., & Schnieder, B. (Eds.) Metaphysical grounding (pp. 37\u201380). Cambridge: Cambridge University Press."},{"key":"9467_CR41","doi-asserted-by":"crossref","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, 221\u201346.","journal-title":"Journal of Philosophy"},{"key":"9467_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020311000086","volume":"25","author":"K Fine","year":"2012","unstructured":"Fine, K. (2012). The pure logic of ground. Review of Symbolic Logic, 25, 1\u201325.","journal-title":"Review of Symbolic Logic"},{"key":"9467_CR43","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":"9467_CR44","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1111\/1746-8361.12068","volume":"68","author":"K Fine","year":"2014","unstructured":"Fine, K. (2014). Permission and possible worlds. Dialectica, 68, 317\u201336.","journal-title":"Dialectica"},{"key":"9467_CR45","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":"9467_CR46","unstructured":"Fine, K. (2017). Truthmaker semantics. In Hale, B., Wright, C., Miller, A. (Eds.) A companion to the philosophy of language. 2nd edn. (pp. 556\u201377). Chichester: Wiley."},{"key":"9467_CR47","unstructured":"Fine, K. (forthcoming (a)). A theory of truth-conditional content I: conjunction, disjunction and negation, forthcoming in the Journal of Philosophical Logic."},{"key":"9467_CR48","unstructured":"Fine, K. (forthcoming (b)). A theory of truth-conditional content II: subject-matter, common content, remainder and ground, forthcoming in the Journal of Philosophical Logic."},{"key":"9467_CR49","first-page":"175","volume-title":"A framework for the hyperintensional semantics of natural language with two implementations, LACL (logical aspects of computational linguistics), lecture notes in computer science","author":"C Fox","year":"2001","unstructured":"Fox, C., & Lappin, S. (2001). A framework for the hyperintensional semantics of natural language with two implementations, LACL (logical aspects of computational linguistics), lecture notes in computer science, (pp. 175\u201392). Dordrecht: Springer."},{"key":"9467_CR50","doi-asserted-by":"crossref","first-page":"477","DOI":"10.2307\/2024563","volume":"66","author":"B Fraassen van","year":"1969","unstructured":"van Fraassen, B. (1969). Facts and tautological entailments. Journal of Philosophy, 66, 477\u201387.","journal-title":"Journal of Philosophy"},{"key":"9467_CR51","doi-asserted-by":"crossref","DOI":"10.1093\/0198244274.001.0001","volume-title":"The scientific image","author":"B Fraassen van","year":"1980","unstructured":"van Fraassen, B. (1980). The scientific image. Oxford: Oxford University Press."},{"key":"9467_CR52","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198511748.001.0001","volume-title":"Interpolation and definability","author":"D Gabbay","year":"2005","unstructured":"Gabbay, D., & Maksimova, L. (2005). Interpolation and definability. Oxford: Clarendon Press."},{"key":"9467_CR53","volume-title":"Residuated lattices: an algebraic glimpse at substructural logics, studies in logic and the foundations of mathematics, Vol. 151","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H. (2007). Residuated lattices: an algebraic glimpse at substructural logics, studies in logic and the foundations of mathematics Vol. 151. Amsterdam: Elsevier."},{"key":"9467_CR54","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2076.001.0001","volume-title":"Conceptual spaces: the geometry of thought","author":"P G\u00e4rdenfors","year":"2000","unstructured":"G\u00e4rdenfors, P. (2000). Conceptual spaces: the geometry of thought. Cambridge: The MIT Press."},{"key":"9467_CR55","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9629.001.0001","volume-title":"The geometry of meaning: semantics based on conceptual spaces","author":"P G\u00e4rdenfors","year":"2014","unstructured":"G\u00e4rdenfors, P. (2014). The geometry of meaning: semantics based on conceptual spaces. Cambridge: The MIT Press."},{"key":"9467_CR56","first-page":"40","volume":"4","author":"K G\u00f6del","year":"1933","unstructured":"G\u00f6del, K. (1933). Zum intuitionistischen Aussagekalk\u00fcl. Ergebnisse eines mathematischen Kolloquiums, 4, 40.","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"9467_CR57","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"RI Goldblatt","year":"1974","unstructured":"Goldblatt, R.I. (1974). Semantic analysis of orthologic. Journal of Philosophical Logic, 3, 19\u201335.","journal-title":"Journal of Philosophical Logic"},{"issue":"\/2","key":"9467_CR58","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2270260","volume":"36","author":"S G\u00f6rnemann","year":"1971","unstructured":"G\u00f6rnemann, S. (1971). A logic stronger than intuitionism. The Journal of Symbolic Logic, 36(\/2), 249\u2013261.","journal-title":"The Journal of Symbolic Logic"},{"key":"9467_CR59","unstructured":"Groenendijk, J., & Stokhof, M. (1984). Studies on the semantics of questions and the pragmatics of answers. PhD Thesis, University of Amsterdam."},{"key":"9467_CR60","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s10992-015-9393-3","volume":"46","author":"A Gupta","year":"2017","unstructured":"Gupta, A., & Standefer, S. (2017). Conditionals in theories of truth. Journal of Philosophical Logic, 46, 27\u201363.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR61","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y Gurevich","year":"1977","unstructured":"Gurevich, Y. (1977). Intuitionistic logic with strong negation. Studia Logica, 36, 49\u201359.","journal-title":"Studia Logica"},{"key":"9467_CR62","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511921049","volume-title":"Axiomatic theories of truth","author":"V Halbach","year":"2011","unstructured":"Halbach, V. (2011). Axiomatic theories of truth. Cambridge: Cambridge University Press."},{"key":"9467_CR63","doi-asserted-by":"crossref","first-page":"677","DOI":"10.2178\/jsl\/1146620166","volume":"71","author":"V Halbach","year":"2006","unstructured":"Halbach, V., & Horsten, L. (2006). Axiomatizing Kripkes theory of truth. Journal of Symbolic Logic, 71, 677\u2013712.","journal-title":"Journal of Symbolic Logic"},{"key":"9467_CR64","volume-title":"Reasoning about uncertainty","author":"JY Halpern","year":"2003","unstructured":"Halpern, J.Y. (2003). Reasoning about uncertainty. Cambridge: The MIT Press."},{"key":"9467_CR65","unstructured":"Hansen, J., Pigozzi, G., van der Torre, L. (2007). Ten philosophical problems in deontic logic. In Boella, G. et al. (Eds.) Normative multi-agent systems. Dagstuhl: Dagstuhl Seminar Proceedings. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2007\/941 ."},{"key":"9467_CR66","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86524-4","volume-title":"Einf\u00fchrung in die Verbandstheorie","author":"H Hermes","year":"1967","unstructured":"Hermes, H. (1967). Einf\u00fchrung in die Verbandstheorie. Berlin: Springer."},{"key":"9467_CR67","unstructured":"Holliday, W., Hoshi, T., Icard, T. (2012). Uniform logic of information dynamics. In Bolander, T. et al. (Eds.) Advances in modal logic (Vol. 9, pp. 348\u2013367). London: College Publications."},{"key":"9467_CR68","unstructured":"Hornischer, L. (2017). Hyperintensionality and synonymy. A logical, philosophical, and cognitive investigation, MSc Thesis, Institute for Logic. Language and Computation, University of Amsterdam."},{"key":"9467_CR69","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9780262015868.001.0001","volume-title":"The Tarskian turn. Deflationism and axiomatic truth","author":"L Horsten","year":"2011","unstructured":"Horsten, L. (2011). The Tarskian turn. Deflationism and axiomatic truth. Cambridge: MIT Press."},{"key":"9467_CR70","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":"9467_CR71","unstructured":"Jennings, R.E., & Chen, Y. (2013). FDE: a logic of clutters. In Tanaka, K., Berto, F., Mares, E., Paoli, F. (Eds.) Paraconsistency: logic and applications (pp. 163\u201372). Dordrecht: Springer."},{"key":"9467_CR72","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J.A. (1958). Lattices with involution. Transactions of the American Mathematical Society, 87, 485\u201391.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9467_CR73","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1093\/aristotelian\/74.1.57","volume":"74","author":"H Kamp","year":"1973","unstructured":"Kamp, H. (1973). Free choice permission. Proceedings of the Aristotelian Society, 74, 57\u201374.","journal-title":"Proceedings of the Aristotelian Society"},{"key":"9467_CR74","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-05206-9","volume-title":"Logics and falsifications. A new perspective on constructivist semantics, trends in logic, Vol. 40","author":"A Kapsner","year":"2014","unstructured":"Kapsner, A. (2014). Logics and falsifications. A new perspective on constructivist semantics, trends in logic Vol. 40. Heidelberg: Springer."},{"key":"9467_CR75","volume-title":"Theories of vagueness","author":"R Keefe","year":"2000","unstructured":"Keefe, R. (2000). Theories of vagueness. Cambridge: Cambridge University Press."},{"key":"9467_CR76","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M. (1990). Non-monotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"9467_CR77","unstructured":"Kripke, S.A. (1965). Semantical analysis of intuitionistic logic. In Crossley, J., & Dummett, M.A.E. (Eds.) Formal systems and recursive functions (pp. 92\u2013130). Amsterdam: North-Holland."},{"key":"9467_CR78","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"SA Kripke","year":"1975","unstructured":"Kripke, S.A. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690\u2013716.","journal-title":"Journal of Philosophy"},{"key":"9467_CR79","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/BF01969697","volume":"12","author":"F von Kutschera","year":"1969","unstructured":"von Kutschera, F. (1969). Ein verallgemeinerter Widerlegungsbegriff f\u00fcr Gentzenkalk\u00fcle. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung, 12, 104\u201318.","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"9467_CR80","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1305\/ndjfl\/1012429715","volume":"40","author":"H Leitgeb","year":"1999","unstructured":"Leitgeb, H. (1999). Truth and the liar in De Morgan-valued models. Notre Dame Journal of Formal Logic, 40, 496\u2013514.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9467_CR81","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s10992-004-3758-3","volume":"34","author":"H Leitgeb","year":"2005","unstructured":"Leitgeb, H. (2005). What truth depends on. Journal of Philosophical Logic, 34, 155\u201392.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR82","first-page":"159","volume":"2007","author":"H Leitgeb","year":"2007","unstructured":"Leitgeb, H. (2007). On the metatheory of field\u2019s \u2018solving the paradoxes, escaping revenge\u2019. Beall, 2007, 159\u201383.","journal-title":"Beall"},{"key":"9467_CR83","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1215\/00294527-2010-003","volume":"51","author":"H Leitgeb","year":"2010","unstructured":"Leitgeb, H. (2010). On the Ramsey test without triviality. Notre Dame Journal of Formal Logic, 51, 21\u201354.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9467_CR84","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198732631.001.0001","volume-title":"The stability of belief. How rational belief coheres with probability","author":"H Leitgeb","year":"2017","unstructured":"Leitgeb, H. (2017). The stability of belief. How rational belief coheres with probability. Oxford: Oxford University Press."},{"key":"9467_CR85","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Oxford: Blackwell."},{"key":"9467_CR86","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/05568648809506282","volume":"17","author":"D Lewis","year":"1988","unstructured":"Lewis, D. (1988). Statements partly about observation. Philosophical Papers, 17, 1\u201331.","journal-title":"Philosophical Papers"},{"key":"9467_CR87","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF01057652","volume":"52","author":"D Makinson","year":"1993","unstructured":"Makinson, D. (1993). Five faces of minimality. Studia Logica, 52, 339\u201379.","journal-title":"Studia Logica"},{"key":"9467_CR88","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF00413865","volume":"109","author":"ED Mares","year":"1997","unstructured":"Mares, E.D. (1997). Relevant logic and the theory of information. Synthese, 109, 345\u2013360.","journal-title":"Synthese"},{"key":"9467_CR89","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511520006","volume-title":"Relevant logic: a philosophical interpretation","author":"ED Mares","year":"2004","unstructured":"Mares, E.D. (2004). Relevant logic: a philosophical interpretation. Cambridge: Cambridge University Press."},{"key":"9467_CR90","unstructured":"Mares, E.D. (2013). Information, negation, and paraconsistency. In Tanaka, K., Berto, F., Mares, E., & Paoli, F. (Eds.) Paraconsistency: logic and applications (pp. 43\u201355). Dordrecht: Springer."},{"key":"9467_CR91","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02379018","volume":"5","author":"RL Martin","year":"1975","unstructured":"Martin, R.L., & Woodruff, P.W. (1975). On representing \u2018True-in-L\u2019 in L. Philosophia, 5, 213\u20137.","journal-title":"Philosophia"},{"key":"9467_CR92","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/s11098-005-0898-4","volume":"134","author":"F Moltmann","year":"2007","unstructured":"Moltmann, F. (2007). Events, tropes and truthmaking. Philosophical Studies, 134, 363\u2013403.","journal-title":"Philosophical Studies"},{"key":"9467_CR93","unstructured":"Moschovakis, J. (2005). Notes on the foundations of constructive mathematics, unpublished manuscript, available at: http:\/\/www.math.ucla.edu\/~joan\/newnotes.pdf ."},{"key":"9467_CR94","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s10988-005-6920-7","volume":"29","author":"YN Moschovakis","year":"2006","unstructured":"Moschovakis, Y.N. (2006). A logical calculus of meaning and synonymy. Linguistics and Philosophy, 29, 27\u201389.","journal-title":"Linguistics and Philosophy"},{"key":"9467_CR95","volume-title":"Meaning and partiality","author":"R Muskens","year":"1995","unstructured":"Muskens, R. (1995). Meaning and partiality. CSLI Publications: Stanford."},{"key":"9467_CR96","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D. (1949). Constructible falsity. Journal of Symbolic Logic, 14, 16\u201326.","journal-title":"Journal of Symbolic Logic"},{"key":"9467_CR97","doi-asserted-by":"crossref","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"},{"key":"9467_CR98","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/s11225-017-9760-x","volume":"106","author":"SP Odintsov","year":"2018","unstructured":"Odintsov, S.P., Speranski, S.O., Shevchenko, I.Yu. (2018). Hintikka\u2019s independence-friendly logic meets Nelson\u2019s realizability. Studia Logica, 106, 637\u201370.","journal-title":"Studia Logica"},{"key":"9467_CR99","unstructured":"Perry, J. (1989). Possible worlds and subject matter. In Perry, J. (Ed.) The problem of the essential indexical and other essays (pp. 145\u201360). CSLI Publications: Stanford."},{"key":"9467_CR100","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s10992-011-9215-1","volume":"42","author":"A Pietz","year":"2013","unstructured":"Pietz, A., & Rivieccio, U. (2013). Nothing but the truth. Journal of Philosophical Logic, 42, 125\u201335.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR101","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1093\/logcom\/exm003","volume":"18","author":"C Pollard","year":"2008","unstructured":"Pollard, C. (2008). Hyperintensions. Journal of Logic and Computation, 18, 257\u201382.","journal-title":"Journal of Logic and Computation"},{"key":"9467_CR102","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219\u201341.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR103","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3687-4","volume-title":"In contradiction. A study of the transconsistent","author":"G Priest","year":"1987","unstructured":"Priest, G. (1987). In contradiction. A study of the transconsistent. Dordrecht: Martinus Nijhoff."},{"key":"9467_CR104","unstructured":"Priest, G. (2002). Paraconsistent logic. In Gabbay, D., & Guenther, F. (Eds.) Handbook of philosophical logic. 2nd Edn. (Vol. 6, pp. 287\u2013393). Dordrecht: Kluwer."},{"key":"9467_CR105","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","volume-title":"An introduction to non-classical logic. From if to is","author":"G Priest","year":"2008","unstructured":"Priest, G. (2008). An introduction to non-classical logic. From if to is. Cambridge: Cambridge University Press."},{"key":"9467_CR106","unstructured":"Pun\u010doch\u00e1\u0159, V. (Unpublished). Substructural inquisitive logics, unpublished manuscript."},{"key":"9467_CR107","volume-title":"The mathematics of metamathematics","author":"H Rasiowa","year":"1963","unstructured":"Rasiowa, H., & Sikorski, R. (1963). The mathematics of metamathematics. Pa\u0144stwowe Wydawnictwo Naukowe: Warsaw."},{"key":"9467_CR108","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF02125229","volume":"34","author":"C Rauszer","year":"1975","unstructured":"Rauszer, C., & Sabalski, B. (1975). Notes on the Rasiowa-Sikorski lemma. Studia Logica, 34, 265\u20138.","journal-title":"Studia Logica"},{"key":"9467_CR109","volume-title":"Relevant logic","author":"S Read","year":"1988","unstructured":"Read, S. (1988). Relevant logic. Oxford: Blackwell."},{"key":"9467_CR110","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01048529","volume":"24","author":"G Restall","year":"1995","unstructured":"Restall, G. (1995). Four-valued semantics for relevant logics (and some of their rivals. Journal of Philosophical Logic, 24, 139\u201360.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR111","unstructured":"Restall, G. (1996). Information flow and relevant logics. In Seligman, J., & Westerstahl, D. (Eds.) Logic, language and computation (pp. 463\u201377). Stanford: CSLI."},{"key":"9467_CR112","first-page":"211","volume":"169\u2013170","author":"G Restall","year":"2000","unstructured":"Restall, G. (2000). Modelling truthmaking. Logique et Analyse, 169\u2013170, 211\u201330.","journal-title":"Logique et Analyse"},{"key":"9467_CR113","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/s10992-015-9384-4","volume":"45","author":"L Rossi","year":"2016","unstructured":"Rossi, L. (2016). Adding a conditional to Kripke\u2019s theory of truth. Journal of Philosophical Logic, 45, 485\u2013529.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR114","unstructured":"Van Rooij, R. (2017). A fine-grained global analysis of implicatures. In Pistioa-Reda, S., & Domaneschi, F. (Eds.) Linguistic and psycholinguistic approaches on implicatures and presuppositions (pp. 73\u2013110). Cham: Palgrave Macmillan."},{"key":"9467_CR115","doi-asserted-by":"crossref","first-page":"335","DOI":"10.2307\/2214309","volume":"3","author":"R Routley","year":"1972","unstructured":"Routley, R., & Routley, V. (1972). Semantics of first-degree entailment. Nous, 3, 335\u201359.","journal-title":"Nous"},{"key":"9467_CR116","unstructured":"Routley, R., Plumwood, V., Meyer, R.K., Brady, R.T. (1982). Relevant logics and their rivals, Ridgeview Press."},{"key":"9467_CR117","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1017\/S1755020313000282","volume":"7","author":"T Schindler","year":"2014","unstructured":"Schindler, T. (2014). Axioms for grounded truth. Review of Symbolic Logic, 7, 73\u201383.","journal-title":"Review of Symbolic Logic"},{"key":"9467_CR118","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1017\/S1755020311000104","volume":"4","author":"B Schnieder","year":"2011","unstructured":"Schnieder, B. (2011). A logic for \u2018because\u2019. Review of Symbolic Logic, 4, 445\u201365.","journal-title":"Review of Symbolic Logic"},{"key":"9467_CR119","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1112\/jlms\/s2-12.3.356","volume":"12","author":"PD Seymour","year":"1976","unstructured":"Seymour, P.D. (1976). The forbidden minors of binary clutters. Journal of the London Mathematical Society (2), 12, 356\u201360.","journal-title":"Journal of the London Mathematical Society (2)"},{"key":"9467_CR120","doi-asserted-by":"crossref","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. Zeitschrift for mathematische Logik und Grundlagen der Mathematik, 15, 247\u201357.","journal-title":"Zeitschrift for mathematische Logik und Grundlagen der Mathematik"},{"key":"9467_CR121","doi-asserted-by":"crossref","first-page":"15","DOI":"10.2307\/2272559","volume":"37","author":"A Urquhart","year":"1972","unstructured":"Urquhart, A. (1972). Semantics for relevant implication. Journal of Symbolic Logic, 37, 15\u201369.","journal-title":"Journal of Symbolic Logic"},{"key":"9467_CR122","unstructured":"Veltman, F. (1985). Logics for conditionals. PhD Thesis, University of Amsterdam (UvA)."},{"key":"9467_CR123","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF00453021","volume":"13","author":"A Visser","year":"1984","unstructured":"Visser, A. (1984). Four valued semantics and the liar. Journal of Philosophical Logic, 13, 181\u2013212.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR124","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56734-8","volume-title":"The logic of information structures","author":"H Wansing","year":"1993","unstructured":"Wansing, H. (1993). The logic of information structures. Berlin: Springer."},{"key":"9467_CR125","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF00763512","volume":"13","author":"T Williamson","year":"1994","unstructured":"Williamson, T. (1994). Never say never. Topoi, 13, 135\u2013145.","journal-title":"Topoi"},{"key":"9467_CR126","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF00453022","volume":"13","author":"PW Woodruff","year":"1984","unstructured":"Woodruff, P.W. (1984). Paradox, truth and logic I. Journal of Philosophical Logic, 13, 213\u2013232.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR127","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1093\/mind\/110.437.45","volume":"110","author":"C Wright","year":"2001","unstructured":"Wright, C. (2001). On being in a quandary: relativism, vagueness, logical revisionism. Mind, 110, 45\u201398.","journal-title":"Mind"},{"key":"9467_CR128","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00302341","volume":"11","author":"S Yablo","year":"1982","unstructured":"Yablo, S. (1982). Grounding, dependence, and paradox. Journal of Philosophical Logic, 11, 117\u201337.","journal-title":"Journal of Philosophical Logic"},{"key":"9467_CR129","volume-title":"Aboutness","author":"S Yablo","year":"2014","unstructured":"Yablo, S. (2014). Aboutness. Princeton: Princeton University Press."},{"key":"9467_CR130","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/phib.12081","volume":"57","author":"S Yablo","year":"2016","unstructured":"Yablo, S. (2016). Ifs, ands, and buts: an incremental truthmaker-semantics for indicative conditionals. Analytic Philosophy, 57, 175\u2013213.","journal-title":"Analytic Philosophy"},{"key":"9467_CR131","unstructured":"Yolov, N. (2016). Unpublished: blocker size via matching minors, unpublished manuscript (arXiv: 1606.06263 )."},{"key":"9467_CR132","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-6980-3","volume-title":"Abstract objects: an introduction to axiomatic metaphysics","author":"EN Zalta","year":"1983","unstructured":"Zalta, E.N. (1983). Abstract objects: an introduction to axiomatic metaphysics. Dordrecht: Reidel."}],"updated-by":[{"DOI":"10.1007\/s10992-018-09497-2","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2019,1,3]],"date-time":"2019-01-03T00:00:00Z","timestamp":1546473600000}}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9467-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9467-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9467-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T01:56:56Z","timestamp":1720403816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9467-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,10]]},"references-count":132,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["9467"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9467-0","relation":{"correction":[{"id-type":"doi","id":"10.1007\/s10992-018-09497-2","asserted-by":"object"}]},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,10]]},"assertion":[{"value":"20 November 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 May 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 July 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2019","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The original version of the article unfortunately contained a mistake. The author missed to mention the support by a EU-funded research network that he is involved in. See below. This work was supported by the Marie-Sklodowska-Curie Innovative Training Network DIAPHORA.","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}