{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T22:44:44Z","timestamp":1725921884644},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720555"},{"type":"electronic","value":"9783319720562"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_10","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:33:31Z","timestamp":1511775211000},"page":"154-169","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A G\u00f6del-Artemov-Style Analysis of Constructible Falsity"],"prefix":"10.1007","author":[{"given":"Thomas Macaulay","family":"Ferguson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-09764-0_1","volume-title":"Computational Logic in Multi-Agent Systems","author":"A Achilleos","year":"2014","unstructured":"Achilleos, A.: On the complexity of two-agent justification logic. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA 2014. LNCS (LNAI), vol. 8624, pp. 1\u201318. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09764-0_1"},{"key":"10_CR2","unstructured":"Artemov, S.: Operational modal logic. Technical report MSI 95\u201329, Cornell University (1995)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-0-387-69245-6_1","volume-title":"Mathematical Problems from Applied Logics II","author":"S Artemov","year":"2007","unstructured":"Artemov, S.: On two models of provability. In: Gabbay, D., Zakharyaschev, M., Goncharov, S.S. (eds.) Mathematical Problems from Applied Logics II, pp. 1\u201352. Springer, New York (2007). https:\/\/doi.org\/10.1007\/978-0-387-69245-6_1"},{"issue":"1\u20132","key":"10_CR4","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/s11225-012-9387-x","volume":"100","author":"S Artemov","year":"2012","unstructured":"Artemov, S.: The ontology of justifications in the logical setting. Stud. Logica. 100(1\u20132), 17\u201330 (2012)","journal-title":"Stud. Logica."},{"issue":"1","key":"10_CR5","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.: The logic of proofs, semantically. Ann. Pure Appl. Logic 132(1), 1\u201325 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"10_CR6","unstructured":"Fitting, M.: Realization implemented. Technical report TR-2013005, City University of New York (2013)"},{"key":"10_CR7","unstructured":"Fitting, M.: Justification logics and realization. Technical report TR-2014004, City University of New York (2014)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Paraconsistent logic, evidence, and justification. Stud. Logica, 1\u201318 (2017, to appear)","DOI":"10.1007\/s11225-017-9714-3"},{"key":"10_CR9","unstructured":"G\u00f6del, K.: Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls. In: Ergebnisse eines mathematischen Kolloquiums, vol. 4, pp. 39\u201340 (1933)"},{"issue":"4","key":"10_CR10","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/1385-7258(72)90053-4","volume":"75","author":"EGK L\u00f3pez-Escobar","year":"1972","unstructured":"L\u00f3pez-Escobar, E.G.K.: Refutability and elementary number theory. Indagationes Math. 75(4), 362\u2013374 (1972)","journal-title":"Indagationes Math."},{"issue":"2","key":"10_CR11","first-page":"80","volume":"25","author":"P \u0141ukowski","year":"1996","unstructured":"\u0141ukowski, P.: Modal interpretation of Heyting-Brouwer logic. Bull. Sect. Logic 25(2), 80\u201383 (1996)","journal-title":"Bull. Sect. Logic"},{"issue":"1","key":"10_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J McKinsey","year":"1948","unstructured":"McKinsey, J., Tarski, A.: Some theorems about the sentential calculi of Lewis and Heyting. J. Symbolic Logic 13(1), 1\u201315 (1948)","journal-title":"J. Symbolic Logic"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-63045-7_27","volume-title":"Logical Foundations of Computer Science","author":"A Mkrtychev","year":"1997","unstructured":"Mkrtychev, A.: Models for the logic of proofs. In: Adian, S., Nerode, A. (eds.) LFCS 1997. LNCS, vol. 1234, pp. 266\u2013275. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63045-7_27"},{"issue":"1","key":"10_CR14","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. J. Symbolic Logic 14(1), 16\u201326 (1949)","journal-title":"J. Symbolic Logic"},{"key":"10_CR15","first-page":"208","volume-title":"Constructivity in Mathematics","author":"D Nelson","year":"1959","unstructured":"Nelson, D.: Negation and separation of concepts in constructive systems. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 208\u2013225. North-Holland, Amsterdam (1959)"},{"issue":"1","key":"10_CR16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"D Nelson","year":"1984","unstructured":"Nelson, D., Almukdad, A.: Constructible falsity and inexact predicates. J. Symbolic Logic 49(1), 231\u2013233 (1984)","journal-title":"J. Symbolic Logic"},{"key":"10_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6867-6","volume-title":"Constructive Negations and Paraconsistency","author":"S Odintsov","year":"2008","unstructured":"Odintsov, S.: Constructive Negations and Paraconsistency. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-6867-6"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-642-02716-1_22","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"L Pinto","year":"2009","unstructured":"Pinto, L., Uustalu, T.: Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS (LNAI), vol. 5607, pp. 295\u2013309. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02716-1_22"},{"issue":"1","key":"10_CR19","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02120864","volume":"33","author":"C Rauszer","year":"1974","unstructured":"Rauszer, C.: A formalization of the propositional calculus of H-B logic. Stud. Logica. 33(1), 23\u201334 (1974)","journal-title":"Stud. Logica."},{"issue":"1","key":"10_CR20","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/fm-83-3-219-249","volume":"83","author":"C Rauszer","year":"1974","unstructured":"Rauszer, C.: Semi-Boolean algebras and their application to intuitionistic logic with dual operations. Fundamenta Math. 83(1), 219\u2013249 (1974)","journal-title":"Fundamenta Math."},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/11753728_32","volume-title":"Computer Science \u2013 Theory and Applications","author":"N Rubtsova","year":"2006","unstructured":"Rubtsova, N.: Evidence reconstruction of epistemic modal logic S5. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol. 3967, pp. 313\u2013321. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11753728_32"},{"issue":"2","key":"10_CR22","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1017\/S1755020316000022","volume":"9","author":"Y Shramko","year":"2016","unstructured":"Shramko, Y.: A modal translation for dual-intuitionistic logic. Rev. Symbolic Logic 9(2), 251\u2013265 (2016)","journal-title":"Rev. Symbolic Logic"},{"issue":"16\u201318","key":"10_CR23","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"RH Thomason","year":"1969","unstructured":"Thomason, R.H.: A semantical study of constructible falsity. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 15(16\u201318), 247\u2013257 (1969)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10_CR24","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-94-010-0387-2_2","volume-title":"Handbook of Philosophical Logic","author":"H Wansing","year":"2002","unstructured":"Wansing, H.: Sequent systems for modal logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, pp. 61\u2013145. Kluwer, Boston (2002)"},{"issue":"2\u20133","key":"10_CR25","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3166\/jancl.18.341-364","volume":"18","author":"H Wansing","year":"2008","unstructured":"Wansing, H.: Constructive negation, implication, and co-implication. J. Appl. Non-class. Logics 18(2\u20133), 341\u2013364 (2008)","journal-title":"J. Appl. Non-class. Logics"},{"key":"10_CR26","first-page":"483","volume-title":"Advances in Modal Logic","author":"H Wansing","year":"2008","unstructured":"Wansing, H.: Proofs, disproofs, and their duals. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic, vol. 7, pp. 483\u2013505. College Publications, London (2008)"},{"issue":"1","key":"10_CR27","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1093\/logcom\/ext035","volume":"26","author":"H Wansing","year":"2016","unstructured":"Wansing, H.: Falsification, natural deduction and bi-intuitionistic logic. J. Logic Comput. 26(1), 425\u2013450 (2016)","journal-title":"J. Logic Comput."},{"issue":"4","key":"10_CR28","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1004218110879","volume":"27","author":"F Wolter","year":"1998","unstructured":"Wolter, F.: On logics with coimplication. J. Philos. Logic 27(4), 353\u2013387 (1998)","journal-title":"J. Philos. Logic"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/11753728_38","volume-title":"Computer Science \u2013 Theory and Applications","author":"T Yavorskaya (Sidon)","year":"2006","unstructured":"Yavorskaya (Sidon), T.: Multi-agent explicit knowledge. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol. 3967, pp. 369\u2013380. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11753728_38"},{"issue":"2","key":"10_CR30","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/s00224-007-9057-y","volume":"43","author":"T Yavorskaya (Sidon)","year":"2008","unstructured":"Yavorskaya (Sidon), T.: Interacting explicit evidence systems. Theory Comput. Syst. 43(2), 272\u2013293 (2008)","journal-title":"Theory Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T20:03:12Z","timestamp":1659988992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}