{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T17:37:59Z","timestamp":1782927479064,"version":"3.54.5"},"reference-count":28,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,1,23]]},"DOI":"10.1093\/jigpal\/jzx055","type":"journal-article","created":{"date-parts":[[2017,11,13]],"date-time":"2017-11-13T15:14:19Z","timestamp":1510586059000},"page":"96-108","source":"Crossref","is-referenced-by-count":4,"title":["Proof systems for BAT consequence relations"],"prefix":"10.1093","volume":"26","author":[{"given":"Pawel","family":"Pawlowski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2017,11,13]]},"reference":[{"key":"key\n\t\t\t\t20180123101252_B1","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s11225-010-9280-4","article-title":"Informal proofs and mathematical rigour.","volume":"96","year":"2010","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20180123101252_B2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/S0168-0072(98)00020-7","article-title":"Some results on cut-elimination, provable well-orderings, induction and reflection.","volume":"95","year":"1998","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20180123101252_B3","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/S0168-0072(96)00045-0","article-title":"Induction rules, reflection principles, and provably recursive functions.","volume":"85","year":"1997","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20180123101252_B4","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1007\/s00153-002-0158-7","article-title":"Proof-theoretic analysis by iterated reflection.","volume":"42","year":"2003","journal-title":"Archive for Mathematical Logic"},{"key":"key\n\t\t\t\t20180123101252_B5","first-page":"309","article-title":"Semantic entailment and formal derivability.","volume":"18","year":"1955","journal-title":"Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen"},{"key":"key\n\t\t\t\t20180123101252_B6","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2307\/2274395","article-title":"Systematization of finite many-valued logics through the method of tableaux.","volume":"52","year":"1987","journal-title":"The Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180123101252_B7","volume-title":"Elements of Set Theory","year":"1977"},{"key":"key\n\t\t\t\t20180123101252_B8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0168-0072(86)90043-6","article-title":"Epistemic and intuitionistic formal systems.","volume":"32","year":"1986","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20180123101252_B9","doi-asserted-by":"crossref","first-page":"192","DOI":"10.2307\/2274102","article-title":"Epistemic arithmetic is a conservative extension of intuitionistic arithmetic.","volume":"49","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180123101252_B10","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1002\/1521-3870(200010)46:4<461::AID-MALQ461>3.0.CO;2-I","article-title":"Two proof-theoretic remarks on EA + ECT.","volume":"46","year":"2000","journal-title":"Mathematical Logic Quarterly"},{"key":"key\n\t\t\t\t20180123101252_B11","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s11229-012-0154-3","article-title":"Modal-epistemic arithmetic and the problem of quantifying in.","volume":"190","year":"2013","journal-title":"Synthese"},{"key":"key\n\t\t\t\t20180123101252_B12","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1305\/ndjfl\/1094061865","article-title":"Modal-epistemic variants of Shapiro\u2019s system of epistemic arithmetic.","volume":"35","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"key\n\t\t\t\t20180123101252_B13","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1023\/A:1017954806119","article-title":"Provability in principle and controversial constructivistic principles.","volume":"26","year":"1997","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20180123101252_B14","first-page":"203","article-title":"An axiomatic investigation of provability as a primitive predicate.","volume-title":"Principles of Truth","year":"2002"},{"key":"key\n\t\t\t\t20180123101252_B15","article-title":"Godel\u2019s disjunction.","volume-title":"Godel\u2019s Disjunction: The Scope and Limits of Mathematical Knowledge","year":"2016"},{"key":"key\n\t\t\t\t20180123101252_B16","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1057\/9780230245198_13","article-title":"On formal and informal provability.","volume-title":"New Waves in Philosophy of Mathematics","year":"2009"},{"key":"key\n\t\t\t\t20180123101252_B17","first-page":"153","article-title":"Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability.","year":"1963","journal-title":"Acta philosophica Fennica"},{"key":"key\n\t\t\t\t20180123101252_B18","doi-asserted-by":"crossref","first-page":"461","DOI":"10.2307\/2023664","article-title":"Some remarks on the notion of proof.","volume":"57","year":"1960","journal-title":"Journal of Philosophy"},{"key":"key\n\t\t\t\t20180123101252_B19","article-title":"Many-valued logic of informal provability: a non-deterministic strategy.","year":"2016","journal-title":"The Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20180123101252_B20","volume-title":"In Contradiction","year":"2006"},{"key":"key\n\t\t\t\t20180123101252_B21","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/philmat\/7.1.5","article-title":"Why do we prove theorems?","volume":"7","year":"1999","journal-title":"Philosophia Mathematica"},{"key":"key\n\t\t\t\t20180123101252_B22","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1093\/philmat\/nkm023","article-title":"A critique of a formalist-mechanist version of the justification of arguments in mathematicians\u2019 proof practices.","volume":"15","year":"2007","journal-title":"Philosophia Mathematica"},{"key":"key\n\t\t\t\t20180123101252_B23","first-page":"427","article-title":"Epistemic theories and the interpretation of G\u00f6del\u2019s incompleteness theorems.","volume":"15","year":"1986","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20180123101252_B24","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1017\/S1755020316000095","article-title":"Realizability semantics for quantified modal logic: generalizing Flagg\u2019s 1985 construction.","volume":"9","year":"2016","journal-title":"The Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20180123101252_B25","article-title":"Epistemic and intuitionistic arithemtic.","volume-title":"Intensional Mathematics","year":"1985"},{"key":"key\n\t\t\t\t20180123101252_B26","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s12136-009-0084-y","article-title":"A note on the relation between formal and informal proof.","volume":"25","year":"2010","journal-title":"Acta Analytica"},{"key":"key\n\t\t\t\t20180123101252_B27","volume-title":"Toward Predicate Approaches to Modality","year":"2015"},{"key":"key\n\t\t\t\t20180123101252_B28","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1093\/philmat\/nkv008","article-title":"A problem with the dependence of informal proofs on formal proofs.","volume":"23","year":"2015","journal-title":"Philosophia Mathematica"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/26\/1\/96\/23620524\/jzx055.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T10:19:42Z","timestamp":1516702782000},"score":1,"resource":{"primary":{"URL":"http:\/\/academic.oup.com\/jigpal\/article\/26\/1\/96\/4622902"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,13]]},"references-count":28,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,11,13]]},"published-print":{"date-parts":[[2018,1,23]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzx055","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2018,2]]},"published":{"date-parts":[[2017,11,13]]}}}