{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T16:49:06Z","timestamp":1743266946901,"version":"3.37.3"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,10,4]],"date-time":"2022-10-04T00:00:00Z","timestamp":1664841600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,10,4]],"date-time":"2022-10-04T00:00:00Z","timestamp":1664841600000},"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,8]]},"DOI":"10.1007\/s10849-022-09386-7","type":"journal-article","created":{"date-parts":[[2022,10,4]],"date-time":"2022-10-04T11:04:21Z","timestamp":1664881461000},"page":"395-440","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7736-8055","authenticated-orcid":false,"given":"Norihiro","family":"Kamide","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,4]]},"reference":[{"issue":"1","key":"9386_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. Journal of Symbolic Logic, 49(1), 231\u2013233.","journal-title":"Journal of Symbolic Logic"},{"key":"9386_CR2","unstructured":"Avron, A. (1996). The method of hypersequents in the proof theory of propositional non-classical logic. In Logic: From Foundations to Applications (pp. 1\u201332)."},{"issue":"3","key":"9386_CR3","first-page":"277","volume":"24","author":"K Bednarska","year":"2015","unstructured":"Bednarska, K., & Indrzejczak, A. (2015). Hypersequent calculi for S5: The methods of cut elimination. Logic and Logical Philosophy, 24(3), 277\u2013311.","journal-title":"Logic and Logical Philosophy"},{"issue":"5","key":"9386_CR4","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"EM Clarke","year":"2003","unstructured":"Clarke, E. M., Grumberg, O., Jha, S., Lu, Y., & Veith, H. (2003). Counterexample-guided abstraction refinement for symbolic model checking. Journal of the ACM, 50(5), 752\u2013794.","journal-title":"Journal of the ACM"},{"key":"9386_CR5","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1305\/ndjfl\/1093888021","volume":"18","author":"J Czermak","year":"1977","unstructured":"Czermak, J. (1977). A remark on Gentzen\u2019s calculus of sequents. Notre Dame Journal of Formal Logic, 18, 471\u2013474.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9386_CR6","unstructured":"Gentzen, G. (1969). Collected papers of Gerhard Gentzen. In M. E. Szabo (Ed.), Studies in logic and the foundations of mathematics, North-Holland (English translation)."},{"key":"9386_CR7","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1002\/malq.19810270803","volume":"27","author":"ND Goodman","year":"1981","unstructured":"Goodman, N. D. (1981). The logic of contradiction. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 27, 119\u2013126.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9386_CR8","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF01054714","volume":"53","author":"V Goranko","year":"1994","unstructured":"Goranko, V. (1994). Refutation systems in modal logic. Studia Logica, 53, 299\u2013324.","journal-title":"Studia Logica"},{"key":"9386_CR9","first-page":"683","volume":"28","author":"O Grigoriev","year":"2019","unstructured":"Grigoriev, O., & Petrukhin, Y. (2019). On a multilattice analogue of a hypersequent S5 calculus. Logic and Logical Philosophy, 28, 683\u2013730.","journal-title":"Logic and Logical Philosophy"},{"key":"9386_CR10","doi-asserted-by":"publisher","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":"9386_CR11","doi-asserted-by":"crossref","unstructured":"Gurfinkel, A., Wei, O., & Chechik, M. (2006). Yasm: A software model-checker for verification and refutation. In Proceedings of the 18th international conference on computer aided verification (CAV 2006) (pp. 170\u2013174).","DOI":"10.1007\/11817963_18"},{"key":"9386_CR12","doi-asserted-by":"crossref","unstructured":"Horn, L.R., & Wansing, H. (2017). Negation, The Stanford Encyclopedia of Philosophy (Spring 2017 Edition). In E. N. Zalta (Ed.), Last modified on January. https:\/\/plato.stanford.edu\/archives\/spr2017\/entries\/negation\/","DOI":"10.1002\/9781405164801.ch18"},{"issue":"3\/4","key":"9386_CR13","first-page":"205","volume":"39","author":"N Kamide","year":"2010","unstructured":"Kamide, N. (2010). An embedding-based completeness proof for Nelson\u2019s paraconsistent logic. Bulletin of the Section of Logic, 39(3\/4), 205\u2013214.","journal-title":"Bulletin of the Section of Logic"},{"key":"9386_CR14","doi-asserted-by":"crossref","unstructured":"Kamide, N. (2019). An extended paradefinte Belnap\u2013Dunn logic that is embeddable into classical logic and vice versa. In Proceedings of the 11th international conference on agents and artificial intelligence (ICAART 2019) (Vol. 2, pp. 377\u2013387).","DOI":"10.5220\/0007251603770387"},{"issue":"3","key":"9386_CR15","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10849-021-09330-1","volume":"30","author":"N Kamide","year":"2021","unstructured":"Kamide, N. (2021). Modal and intuitionistic variants of extended Belnap\u2013Dunn logic with classical negation. Journal of Logic, Language and Information, 30(3), 491\u2013531.","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"9386_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s10992-021-09611-x","volume":"51","author":"N Kamide","year":"2022","unstructured":"Kamide, N. (2022). Falsification-aware semantics and sequent calculi for classical logic. Journal of Philosophical Logic, 51(3), 99\u2013126.","journal-title":"Journal of Philosophical Logic"},{"issue":"5","key":"9386_CR17","first-page":"1549","volume":"27","author":"N Kamide","year":"2017","unstructured":"Kamide, N., & Shramko, Y. (2017). Embedding from multilattice logic into classical logic and vice versa. Journal of Logic and Computation, 27(5), 1549\u20131575.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"9386_CR18","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s11787-017-0172-5","volume":"11","author":"N Kamide","year":"2017","unstructured":"Kamide, N., & Shramko, Y. (2017). Modal multilattice logic. Logica Universalis, 11(3), 317\u2013343.","journal-title":"Logica Universalis"},{"key":"9386_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2011.11.001","volume":"415","author":"N Kamide","year":"2012","unstructured":"Kamide, N., & Wansing, H. (2012). Proof theory of Nelson\u2019s paraconsistent logic: A uniform perspective. Theoretical Computer Science, 415, 1\u201338.","journal-title":"Theoretical Computer Science"},{"key":"9386_CR20","first-page":"1","volume":"54","author":"N Kamide","year":"2015","unstructured":"Kamide, N., & Wansing, H. (2015). Proof theory of N4-related paraconsistent logics. Studies in Logic, 54, 1\u2013401.","journal-title":"Studies in Logic"},{"issue":"1","key":"9386_CR21","first-page":"93","volume":"27","author":"N Kamide","year":"2019","unstructured":"Kamide, N., & Zohar, Y. (2019). Yet another paradefinite logic: The role of conflation. Logic Journal of the IGPL, 27(1), 93\u2013117.","journal-title":"Logic Journal of the IGPL"},{"issue":"10","key":"9386_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2020.102830","volume":"171","author":"N Kamide","year":"2020","unstructured":"Kamide, N., & Zohar, Y. (2020). Modal extension of ideal paraconsistent four-valued logic and its subsystem. Annals of Pure and Applied Logic, 171(10), 102830.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9386_CR23","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"SA Kripke","year":"1963","unstructured":"Kripke, S. A. (1963). Semantical analysis of modal logic I Normal modal propositional calculi. Zeitschrift f\u00fcr mathematische logik und grundlagen der mathematik, 9, 67\u201396.","journal-title":"Zeitschrift f\u00fcr mathematische logik und grundlagen der mathematik"},{"key":"9386_CR24","first-page":"51","volume":"8417","author":"H Kurokawa","year":"2013","unstructured":"Kurokawa, H. (2013). Hypersequent calculi for modal logics extending S4. New Frontiers in Artificial Intelligence, Lecture Notes in Computer Science, 8417, 51\u201368.","journal-title":"New Frontiers in Artificial Intelligence, Lecture Notes in Computer Science"},{"key":"9386_CR25","doi-asserted-by":"crossref","unstructured":"Lahav, O. (2013). From frame properties to hypersequent rules in modal logics. In Proceedings of the 28th Annual ACM\/IEEE Symposium on Logic in Computer Science (pp 408\u2013417).","DOI":"10.1109\/LICS.2013.47"},{"key":"9386_CR26","unstructured":"\u0141ukasiewicz, J. (1951). Aristotle\u2019s syllogistic from the standpoint of modern formal logic, Oxford, (Aristotle\u2019s syllogistic from the standpoint of modern formal logic\u2014Greek & Roman philosophy, Taylor & Francis, 1987)."},{"key":"9386_CR27","doi-asserted-by":"publisher","first-page":"59","DOI":"10.12775\/LLP.2002.004","volume":"10","author":"P \u0141ukowski","year":"2002","unstructured":"\u0141ukowski, P. (2002). A deductive-reductive form of logic: General theory and intuitionistic case. Logic and Logical Philosophy, 10, 59\u201378.","journal-title":"Logic and Logical Philosophy"},{"key":"9386_CR28","doi-asserted-by":"publisher","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":"9386_CR29","first-page":"113","volume":"9","author":"M Ohnishi","year":"1957","unstructured":"Ohnishi, M., & Matsumoto, K. (1957). Gentzen method in modal calculi. Osaka Mathematical Journal, 9, 113\u2013130.","journal-title":"Osaka Mathematical Journal"},{"key":"9386_CR30","first-page":"115","volume":"11","author":"M Ohnishi","year":"1959","unstructured":"Ohnishi, M., & Matsumoto, K. (1959). Gentzen method in modal calculi II. Osaka Mathematical Journal, 11, 115\u2013120.","journal-title":"Osaka Mathematical Journal"},{"issue":"1","key":"9386_CR31","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1017\/S1755020308080040","volume":"1","author":"F Poggiolesi","year":"2008","unstructured":"Poggiolesi, F. (2008). A cut-free simple sequent calculus for modal logic S5. Review of Symbolic Logic, 1(1), 3\u201315.","journal-title":"Review of Symbolic Logic"},{"key":"9386_CR32","first-page":"900","volume":"48","author":"G Pottinger","year":"1983","unstructured":"Pottinger, G. (1983). Uniform cut-free formulations of T, S 4 and S 5 (abstract). Journal of Symbolic Logic, 48, 900.","journal-title":"Journal of Symbolic Logic"},{"key":"9386_CR33","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF02120864","volume":"33","author":"C Rauszer","year":"1974","unstructured":"Rauszer, C. (1974). A formalization of the propositional calculus of H-B logic. Studia Logica, 33, 23\u201334.","journal-title":"Studia Logica"},{"key":"9386_CR34","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF02121115","volume":"36","author":"C Rauszer","year":"1977","unstructured":"Rauszer, C. (1977). Applications of Kripke models to Heyting\u2013Brouwer logic. Studia Logica, 36, 61\u201371.","journal-title":"Studia Logica"},{"key":"9386_CR35","unstructured":"Rauszer, C. (1980). An algebraic and Kripke-style approach to a certain extension of intuitionistic logic, Dissertations Mathematicae. Polish Scientific Publishers, pp. 1\u201367."},{"key":"9386_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-85796-5","volume-title":"Klassische und nicht-klassische Aussagenlogik","author":"W Rautenberg","year":"1979","unstructured":"Rautenberg, W. (1979). Klassische und nicht-klassische Aussagenlogik. Braunschweig: Vieweg."},{"key":"9386_CR37","doi-asserted-by":"crossref","unstructured":"Restall, G. (2007). Proofnets for S5: Sequents and circuits for modal logic. In Proceedings of logic colloquium 2005, lecture notes in logic (Vol. 28, pp. 151\u2013172). Cambridge University Press.","DOI":"10.1017\/CBO9780511546464.012"},{"issue":"2\u20133","key":"9386_CR38","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s11225-005-8474-7","volume":"80","author":"Y Shramko","year":"2005","unstructured":"Shramko, Y. (2005). Dual intuitionistic logic and a variety of negations: The logic of scientific research. Studia Logica, 80(2\u20133), 347\u2013367.","journal-title":"Studia Logica"},{"key":"9386_CR39","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/BF01306967","volume":"24","author":"TF Skura","year":"1995","unstructured":"Skura, T. F. (1995). A \u0141ukasiewicz-style refutation system for the modal logic S4. Journal of Philosophical Logic, 24, 573\u2013582.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9386_CR40","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1023\/A:1015174332202","volume":"70","author":"TF Skura","year":"2002","unstructured":"Skura, T. F. (2002). Refutations, proofs, and models in the modal logic K4. Studia Logica, 70(2), 193\u2013204.","journal-title":"Studia Logica"},{"key":"9386_CR41","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-94-007-0479-4_2","volume":"16","author":"TF Skura","year":"2011","unstructured":"Skura, T. F. (2011). Refutation systems in propositional logic. Handbook of Philosophical Logic, 16, 115\u2013157.","journal-title":"Handbook of Philosophical Logic"},{"key":"9386_CR42","doi-asserted-by":"publisher","first-page":"83","DOI":"10.4467\/20842589RM.17.005.7143","volume":"52","author":"TF Skura","year":"2017","unstructured":"Skura, T. F. (2017). Refutations in Wansing\u2019s logic. Reports on Mathematical Logic, 52, 83\u201399.","journal-title":"Reports on Mathematical Logic"},{"issue":"3","key":"9386_CR43","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1305\/ndjfl\/1039886520","volume":"37","author":"I Urbas","year":"1996","unstructured":"Urbas, I. (1996). Dual-intuitionistic logic. Notre Dame Journal of Formal Logic, 37(3), 440\u2013451.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9386_CR44","first-page":"465","volume":"85","author":"NN Vorob\u2019ev","year":"1952","unstructured":"Vorob\u2019ev, N. N. (1952). A constructive propositional calculus with strong negation. Doklady Akademii Nauk SSSR, 85, 465\u2013468 (in Russian).","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"9386_CR45","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-56734-8_1","volume-title":"The logic of information structures, lecture notes in artificial intelligence","author":"H Wansing","year":"1993","unstructured":"Wansing, H. (1993). The logic of information structures, lecture notes in artificial intelligence (Vol. 681, pp. 1\u2013163). Springer-Verlag."},{"key":"9386_CR46","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1305\/ndjfl\/1040308828","volume":"36","author":"H Wansing","year":"1995","unstructured":"Wansing, H. (1995). Semantics-based nonmonotonic inference. Notre Dame Journal of Formal Logic, 36, 44\u201354.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9386_CR47","doi-asserted-by":"crossref","unstructured":"Wansing, H. (2002). Sequent systems for modal logics. In D. Gabbay & F. Guenther (Eds.), Handbook of philosophical logic (2nd ed., Vol. 8, pp. 61\u2013145). Kluwer Academic Publisher.","DOI":"10.1007\/978-94-010-0387-2_2"},{"issue":"1","key":"9386_CR48","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1093\/logcom\/ext035","volume":"26","author":"H Wansing","year":"2016","unstructured":"Wansing, H. (2016). Falsification, natural deduction and bi-intuitionistic logic. Journal of Logic and Computation, 26(1), 425\u2013450.","journal-title":"Journal of Logic and Computation"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09386-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-022-09386-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09386-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T21:02:08Z","timestamp":1688418128000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-022-09386-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,4]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["9386"],"URL":"https:\/\/doi.org\/10.1007\/s10849-022-09386-7","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2022,10,4]]},"assertion":[{"value":"22 September 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 October 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author has no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}