{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:11:13Z","timestamp":1775038273328,"version":"3.50.1"},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T00:00:00Z","timestamp":1662595200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T00:00:00Z","timestamp":1662595200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2023,5]]},"DOI":"10.1007\/s10849-022-09380-z","type":"journal-article","created":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T04:02:28Z","timestamp":1662609748000},"page":"333-362","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Substructural Approach to Explicit Modal Logic"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3032-5290","authenticated-orcid":false,"given":"Shawn","family":"Standefer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,8]]},"reference":[{"key":"9380_CR1","unstructured":"Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity (Vol. I). Princeton University Press."},{"key":"9380_CR2","unstructured":"Anderson, A. R., Belnap, N. D., & Dunn, J. M. (1992). Entailment: The logic of relevance and necessity (Vol. II). Princeton University Press."},{"issue":"4","key":"9380_CR3","doi-asserted-by":"publisher","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(4), 477\u2013513.","journal-title":"The Review of Symbolic Logic"},{"key":"9380_CR4","doi-asserted-by":"crossref","unstructured":"Artemov, S., & Fitting, M. (2019). Justification Logic. Cambridge University Press.","DOI":"10.1017\/9781108348034"},{"key":"9380_CR5","unstructured":"Artemov, S., & Fitting, M. (2021). Justification Logic. In E.\u00a0N. Zalta, (Ed.), The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, spring 2021 edition."},{"issue":"2","key":"9380_CR6","doi-asserted-by":"publisher","first-page":"439","DOI":"10.2178\/jsl\/1185803617","volume":"72","author":"S Artemov","year":"2007","unstructured":"Artemov, S., & Iemhoff, R. (2007). The basic intuitionistic logic of proofs. Journal of Symbolic Logic, 72(2), 439\u2013451.","journal-title":"Journal of Symbolic Logic"},{"key":"9380_CR7","unstructured":"Barwise, J. (1993). Constraints, channels and the flow of information. In P. Aczel, D. Israel, Y. Katagiri, & S. Peters (Eds.), Situation Theory and its Applications (Vol. 3, pp. 3\u201327). CSLI Publications."},{"issue":"3","key":"9380_CR8","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/s10992-011-9191-5","volume":"41","author":"J Beall","year":"2012","unstructured":"Beall, J., Brady, R., Dunn, J. M., Hazen, A. P., Mares, E., Meyer, R. K., Priest, G., Restall, G., Ripley, D., Slaney, J., & Sylvan, R. (2012). On the ternary relation and conditionality. Journal of Philosophical Logic, 41(3), 595\u2013612.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"9380_CR9","doi-asserted-by":"publisher","first-page":"1815","DOI":"10.1093\/logcom\/exv009","volume":"26","author":"M B\u00edlkov\u00e1","year":"2016","unstructured":"B\u00edlkov\u00e1, M., Majer, O., & Peli\u0161, M. (2016). Epistemic logics for sceptical agents. Journal of Logic and Computation, 26(6), 1815\u20131841.","journal-title":"Journal of Logic and Computation"},{"key":"9380_CR10","unstructured":"Bilkov\u00e1, M., Majer, O., Peli\u0161, M., & Restall, G. (2010). Relevant agents. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in Modal Logic, number 8 (pp. 22\u201338). College Publications."},{"key":"9380_CR11","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3, K. (2006). Relevance logics. In D. Jacquette (Ed.), Philosophy of Logic, volume 5 of Handbook of the Philosophy of Science (pp. 723\u2013789). Elsevier.","DOI":"10.1016\/B978-044451541-4\/50022-1"},{"key":"9380_CR12","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2002). Modal logic. Cambridge tracts in theoretical computer science. Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"issue":"8","key":"9380_CR13","first-page":"355","volume":"27","author":"RT Brady","year":"1984","unstructured":"Brady, R. T. (1984). Natural deduction systems for some quantified relevant logics. Logique et Analyse, 27(8), 355\u2013377.","journal-title":"Logique et Analyse"},{"key":"9380_CR14","doi-asserted-by":"crossref","unstructured":"Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2018). Inquisitive semantics. Oxford surveys in semantics and pragmatics. Oxford University Press.","DOI":"10.1093\/oso\/9780198814788.001.0001"},{"key":"9380_CR15","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF00142493","volume":"2","author":"B Copeland","year":"1983","unstructured":"Copeland, B. (1983). Pure semantics and applied semantics. Topoi, 2, 197\u2013204.","journal-title":"Topoi"},{"issue":"2","key":"9380_CR16","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s11229-009-9490-3","volume":"176","author":"W Dean","year":"2010","unstructured":"Dean, W., & Kurokawa, H. (2010). From the knowability paradox to the existence of proofs. Synthese, 176(2), 177\u2013225.","journal-title":"Synthese"},{"issue":"4","key":"9380_CR17","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF00431183","volume":"16","author":"JM Dunn","year":"1987","unstructured":"Dunn, J. M. (1987). Relevant predication 1: The formal theory. Journal of Philosophical Logic, 16(4), 347\u2013381.","journal-title":"Journal of Philosophical Logic"},{"key":"9380_CR18","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., & Restall, G. (2002). Relevance logic. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (2nd ed., Vol. 6, pp. 1\u2013136). Kluwer.","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"9380_CR19","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1988","unstructured":"Fagin, R., & Halpern, J. Y. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34, 39\u201376.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"9380_CR20","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/jigpal\/jzz012","volume":"27","author":"FLG Faroldi","year":"2019","unstructured":"Faroldi, F. L. G., & Protopopescu, T. (2019). A hyperintensional logical framework for deontic reasons. Logic Journal of the IGPL, 27(4), 411\u2013433.","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"9380_CR21","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF00257480","volume":"3","author":"K Fine","year":"1974","unstructured":"Fine, K. (1974). Models for entailment. Journal of Philosophical Logic, 3(4), 347\u2013372.","journal-title":"Journal of Philosophical Logic"},{"key":"9380_CR22","doi-asserted-by":"publisher","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":"9380_CR23","unstructured":"Fuhrmann, A. (1988). Relevant logics, modal logics and theory change. PhD thesis, Australian National University."},{"issue":"4","key":"9380_CR24","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/BF00370161","volume":"49","author":"A Fuhrmann","year":"1990","unstructured":"Fuhrmann, A. (1990). Models for relevant modal logics. Studia Logica, 49(4), 501\u2013514.","journal-title":"Studia Logica"},{"key":"9380_CR25","unstructured":"Garson, J. (2021). Modal logic. In E.\u00a0N. Zalta (Ed.), The Stanford encyclopedia of philosophy. Metaphysics Research Lab, Stanford University, Summer 2021 edition."},{"issue":"2","key":"9380_CR26","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1017\/S1755020312000378","volume":"6","author":"A Giordani","year":"2013","unstructured":"Giordani, A. (2013). A logic of justification and truthmaking. The Review of Symbolic Logic, 6(2), 323\u2013342.","journal-title":"The Review of Symbolic Logic"},{"issue":"4","key":"9380_CR27","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1080\/11663081.2015.1128796","volume":"25","author":"A Giordani","year":"2015","unstructured":"Giordani, A. (2015). A new framework for justification logic. Journal of Applied Non-Classical Logics, 25(4), 308\u2013323.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"5","key":"9380_CR28","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1023\/A:1025638012192","volume":"32","author":"L Goble","year":"2003","unstructured":"Goble, L. (2003). Neighborhoods for entailment. Journal of Philosophical Logic, 32(5), 483\u2013529.","journal-title":"Journal of Philosophical Logic"},{"key":"9380_CR29","unstructured":"Humberstone, L. (2010). Smiley\u2019s distinction between rules of inference and rules of proof. In T. J. Smiley, J. Lear, & A. Oliver (Eds.), The force of argument: Essays in honor of timothy smiley (pp. 107\u2013126). Routledge."},{"key":"9380_CR30","doi-asserted-by":"crossref","unstructured":"Humberstone, L. (2011). The connectives. MIT Press.","DOI":"10.7551\/mitpress\/9055.001.0001"},{"key":"9380_CR31","unstructured":"Kuznets, R., & Studer, T. (2019). Logics of proofs and justifications. College Publications."},{"key":"9380_CR32","unstructured":"Lavers, P. (1985). Generating intensional logics. Master\u2019s thesis, University of Adelaide."},{"issue":"1","key":"9380_CR33","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s11229-010-9737-z","volume":"175","author":"E Mares","year":"2010","unstructured":"Mares, E. (2010). The nature of information: A relevant approach. Synthese, 175(1), 111\u2013132.","journal-title":"Synthese"},{"key":"9380_CR34","unstructured":"Mares, E. (2020). Relevance Logic. In E.\u00a0N. Zalta, (Ed.), The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, winter 2020 edition."},{"issue":"1","key":"9380_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00370329","volume":"51","author":"ED Mares","year":"1992","unstructured":"Mares, E. D. (1992). Semantics for relevance logic with identity. Studia Logica, 51(1), 1\u201320.","journal-title":"Studia Logica"},{"issue":"3","key":"9380_CR36","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/BF00413865","volume":"109","author":"ED Mares","year":"1996","unstructured":"Mares, E. D. (1996). Relevant logic and the theory of information. Synthese, 109(3), 345\u2013360.","journal-title":"Synthese"},{"key":"9380_CR37","doi-asserted-by":"crossref","unstructured":"Mares, E. D. (2004). Relevant logic: A philosophical interpretation. Cambridge University Press.","DOI":"10.1017\/CBO9780511520006"},{"issue":"2","key":"9380_CR38","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s11229-008-9412-9","volume":"167","author":"ED Mares","year":"2008","unstructured":"Mares, E. D. (2008). General information in relevant logic. Synthese, 167(2), 343\u2013362.","journal-title":"Synthese"},{"key":"9380_CR39","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/s11229-017-1524-7","volume":"199","author":"ED Mares","year":"2021","unstructured":"Mares, E. D. (2021). An informational interpretation of weak relevant logic and relevant property theory. Synthese, 199, 547\u2013569.","journal-title":"Synthese"},{"issue":"5","key":"9380_CR40","first-page":"877","volume":"3","author":"M Marti","year":"2016","unstructured":"Marti, M., & Studer, T. (2016). Intuitionistic modal logic made explicit. IfCoLog Journal of Logics and their Applications, 3(5), 877\u2013901.","journal-title":"IfCoLog Journal of Logics and their Applications"},{"key":"9380_CR41","unstructured":"Pacuit, E. (2005). A note on some explicit modal logics. In Proceedings of the fifth panhellenic logic symposium, pp. 117\u2013125."},{"key":"9380_CR42","doi-asserted-by":"crossref","unstructured":"Pacuit, E. (2017). Neighborhood semantics for modal logic. Short textbooks in logic. Springer International Publishing.","DOI":"10.1007\/978-3-319-67149-9"},{"key":"9380_CR43","unstructured":"Pischke, N. (202x). On intermediate justification logics. Logic Journal of the IGPL. Forthcoming."},{"key":"9380_CR44","doi-asserted-by":"crossref","unstructured":"Priest, G. (2008). An introduction to non-classical logic: From if to is (2nd ed.). Cambridge University Press.","DOI":"10.1017\/CBO9780511801174"},{"key":"9380_CR45","doi-asserted-by":"crossref","unstructured":"Priest, G. (2015). Is the ternary R depraved? In C. R. Caret & O. T. Hjortland (Eds.), Foundations of logical consequence (pp. 121\u2013135). Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780198715696.003.0004"},{"key":"9380_CR46","doi-asserted-by":"crossref","unstructured":"Pun\u010doch\u00e1\u0159, V., & Sedl\u00e1r, I. (2017). Substructural logics for pooling information. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, rationality, and interaction (pp. 407\u2013421). Springer.","DOI":"10.1007\/978-3-662-55665-8_28"},{"issue":"2","key":"9380_CR47","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1017\/S1755020319000017","volume":"12","author":"V Pun\u010doch\u00e1\u0159","year":"2019","unstructured":"Pun\u010doch\u00e1\u0159, V. (2019). Substructural inquisitive logics. Review of Symbolic Logic, 12(2), 296\u2013330.","journal-title":"Review of Symbolic Logic"},{"issue":"5","key":"9380_CR48","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/s10992-019-09541-9","volume":"49","author":"V Pun\u010doch\u00e1\u0159","year":"2020","unstructured":"Pun\u010doch\u00e1\u0159, V. (2020). A relevant logic of questions. Journal of Philosophical Logic, 49(5), 905\u2013939.","journal-title":"Journal of Philosophical Logic"},{"key":"9380_CR49","unstructured":"Read, S. (1988). Relevant logic: A philosophical examination of inference. B. Blackwell."},{"key":"9380_CR50","unstructured":"Rendsvig, R., & Symons, J. (2021). Epistemic Logic. In E.\u00a0N. Zalta, (Ed.), The Stanford encyclopedia of philosophy. Metaphysics research lab, Stanford University, Summer 2021 edition."},{"key":"9380_CR51","unstructured":"Restall, G. (1995). Information flow and relevant logics. In J. Seligman & D. Westerst\u00e5hl (Eds.), Logic, language, and computation: 1994 proceedings (pp. 463\u2013477). CSLI Publications."},{"key":"9380_CR52","doi-asserted-by":"crossref","unstructured":"Restall, G. (2000). An introduction to substructural logics. Routledge.","DOI":"10.4324\/9780203252642"},{"key":"9380_CR53","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2018). Routley-Meyer ternary relational semantics for intuitionistic-type negations. Elsevier, Academic Press."},{"key":"9380_CR54","first-page":"67","volume":"4","author":"R Routley","year":"1975","unstructured":"Routley, R., & Meyer, R. K. (1975). Towards a general semantical theory of implication and conditionals. I. Systems with normal conjunctions and disjunctions and aberrant and normal negations. Reports on Mathematical Logic, 4, 67\u201389.","journal-title":"Reports on Mathematical Logic"},{"key":"9380_CR55","first-page":"47","volume":"9","author":"R Routley","year":"1976","unstructured":"Routley, R., & Meyer, R. K. (1976). Towards a general semantical theory of implication and conditionals. II. Improved negation theory and propositional identity. Reports on Mathematical Logic, 9, 47\u201362.","journal-title":"Reports on Mathematical Logic"},{"key":"9380_CR56","unstructured":"Routley, R., Plumwood, V., Meyer, R. K., & Brady, R. T. (1982). Relevant logics and their rivals (Vol. 1). Ridgeview."},{"key":"9380_CR57","doi-asserted-by":"crossref","unstructured":"Rubtsova, N. (2006a). Evidence reconstruction of epistemic modal logic S5. In\u00a0D. Grigoriev,\u00a0J. Harrison, H.\u00a0E., (Eds.), Computer science\u2014Theory and applications. CSR 2006., vol. 3967, pp. 313\u2013321.","DOI":"10.1007\/11753728_32"},{"issue":"5","key":"9380_CR58","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1093\/logcom\/exl030","volume":"16","author":"N Rubtsova","year":"2006","unstructured":"Rubtsova, N. (2006). On realization of S5-modality by evidence terms. Journal of Logic and Computation, 16(5), 671\u2013684.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9380_CR59","first-page":"395","volume":"6","author":"N Savi\u0107","year":"2019","unstructured":"Savi\u0107, N., & Studer, T. (2019). Relevant justification logic. Journal of Applied Logics, 6(2), 395\u2013410.","journal-title":"Journal of Applied Logics"},{"key":"9380_CR60","doi-asserted-by":"crossref","unstructured":"Sedl\u00e1r, I. (2013). Justifications, awareness and epistemic dynamics. In S. Artemov & A. Nerode (Eds.), Logical foundations of computer science (Lecture Notes in Computer Science 7734) (pp. 307\u2013318). Springer.","DOI":"10.1007\/978-3-642-35722-0_22"},{"issue":"3","key":"9380_CR61","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1080\/11663081.2015.1094313","volume":"25","author":"I Sedl\u00e1r","year":"2015","unstructured":"Sedl\u00e1r, I. (2015). Substructural epistemic logics. Journal of Applied Non-Classical Logics, 25(3), 256\u2013285.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"6","key":"9380_CR62","doi-asserted-by":"publisher","first-page":"1787","DOI":"10.1093\/logcom\/exu034","volume":"26","author":"I Sedl\u00e1r","year":"2016","unstructured":"Sedl\u00e1r, I. (2016). Epistemic extensions of modal distributive substructural logics. Journal of Logic and Computation, 26(6), 1787\u20131813.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9380_CR63","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2271593","volume":"28","author":"T Smiley","year":"1963","unstructured":"Smiley, T. (1963). Relative necessity. Journal of Symbolic Logic, 28(2), 113\u2013134.","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"9380_CR64","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1093\/jigpal\/jzz018","volume":"27","author":"S Standefer","year":"2019","unstructured":"Standefer, S. (2019). Tracking reasons with extensions of relevant logics. Logic Journal of the IGPL, 27(4), 543\u2013569.","journal-title":"Logic Journal of the IGPL"},{"key":"9380_CR65","doi-asserted-by":"publisher","first-page":"1389","DOI":"10.1007\/s10992-021-09603-x","volume":"50","author":"S Standefer","year":"2021","unstructured":"Standefer, S. (2021). Identity in Mares-Goldblatt models for quantified relevant logic. Journal of Philosophical Logic, 50, 1389\u20131415.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9380_CR66","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1215\/00294527-2021-0035","volume":"62","author":"S Standefer","year":"2021","unstructured":"Standefer, S. (2021). An incompleteness theorem for modal relevant logics. Notre Dame Journal of Formal Logic, 62(4), 669\u2013681.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9380_CR67","unstructured":"Standefer, S. (202x). Weak relevant justification logics. Journal of Logic and Computation. Forthcoming."},{"issue":"3","key":"9380_CR68","first-page":"731","volume":"4","author":"A Tedder","year":"2017","unstructured":"Tedder, A. (2017). Channel composition and ternary relation semantics. IfCoLog Journal of Logics and Their Applications, 4(3), 731\u2013753.","journal-title":"IfCoLog Journal of Logics and Their Applications"},{"issue":"1","key":"9380_CR69","doi-asserted-by":"publisher","first-page":"1","DOI":"10.26686\/ajl.v18i1.6288","volume":"18","author":"A Tedder","year":"2021","unstructured":"Tedder, A. (2021). Information flow in logics in the vicinity of BB. The Australasian Journal of Logic, 18(1), 1\u201324.","journal-title":"The Australasian Journal of Logic"},{"issue":"1","key":"9380_CR70","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"A Urquhart","year":"1972","unstructured":"Urquhart, A. (1972). Semantics for relevant logics. Journal of Symbolic Logic, 37(1), 159\u2013169.","journal-title":"Journal of Symbolic Logic"},{"issue":"6","key":"9380_CR71","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1023\/A:1021256513220","volume":"31","author":"H Wansing","year":"2002","unstructured":"Wansing, H. (2002). Diamonds are a philosopher\u2019s best friends. Journal of Philosophical Logic, 31(6), 591\u2013612.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9380_CR72","doi-asserted-by":"publisher","first-page":"283","DOI":"10.3166\/jancl.17.283-316","volume":"17","author":"T Yavorskaya","year":"2007","unstructured":"Yavorskaya, T., & Rubtsova, N. (2007). Operations on proofs and labels. Journal of Applied Non-Classical Logics, 17(3), 283\u2013316.","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09380-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-022-09380-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09380-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,28]],"date-time":"2023-03-28T10:10:06Z","timestamp":1679998206000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-022-09380-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,8]]},"references-count":72,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["9380"],"URL":"https:\/\/doi.org\/10.1007\/s10849-022-09380-z","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,8]]},"assertion":[{"value":"24 August 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 September 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}