{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T01:02:15Z","timestamp":1779757335296,"version":"3.53.1"},"reference-count":66,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T00:00:00Z","timestamp":1778630400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100003130","name":"FWO","doi-asserted-by":"publisher","award":["1255724N"],"award-info":[{"award-number":["1255724N"]}],"id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,26]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The relationship between formal and informal provability has been a significant subject of philosophical and mathematical investigation. Formal systems such as G\u00f6del-L\u00f6b logic (GL) capture formal provability but do not validate the reflection schema\u2014a principle stating that if a statement is provable, it must be true. This schema is intuitively valid for the informal notion of provability as understood and used in mathematical practice. Several logical systems have been developed to capture this informal notion of provability, including BAT, CABAT, and T-BAT. However, a first-order version of T-BAT logic has not yet been developed. This paper aims to address this research gap by providing such an extension.<\/jats:p>","DOI":"10.1093\/jigpal\/jzag028","type":"journal-article","created":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T11:29:43Z","timestamp":1776770983000},"source":"Crossref","is-referenced-by-count":0,"title":["Nondeterministic first-order T-BAT logic"],"prefix":"10.1093","volume":"34","author":[{"given":"Pawel","family":"Pawlowski","sequence":"first","affiliation":[{"name":"Faculty of Arts and Philosophy , Ghent University, Ghent, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laura","family":"Katherin Jimenez-Cuadros","sequence":"additional","affiliation":[{"name":"Faculty of Arts and Philosophy , Ghent University, Ghent, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2026,5,13]]},"reference":[{"key":"2026052520023235000_ref1","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s11225-010-9280-4","article-title":"Informal proofs and mathematical rigour","volume":"96","author":"Marfori","year":"2010","journal-title":"Stud Log"},{"key":"2026052520023235000_ref2","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1093\/jigpal\/jzp014","article-title":"Distance-based non-deterministic semantics for reasoning with uncertainty","volume":"17","author":"Arieli","year":"2009","journal-title":"Log J IGPL"},{"key":"2026052520023235000_ref3","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0168-0072(94)90007-8","article-title":"Logic of proofs","volume":"67","author":"Artemov","year":"1994","journal-title":"Ann Pure Appl Log"},{"key":"2026052520023235000_ref4","article-title":"Logic of proofs: a unified semantics for modality and $\\lambda $-terms","author":"Artemov","year":"1998"},{"key":"2026052520023235000_ref5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-7643-7304-0_9","article-title":"Non-deterministic matrices and modular semantics of rules","volume-title":"Logica Universalis","author":"Avron","year":"2005"},{"key":"2026052520023235000_ref6","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s11225-005-8468-5","article-title":"A non-deterministic view on non-classical negations","volume":"80","author":"Avron","year":"2005","journal-title":"Stud Log"},{"key":"2026052520023235000_ref7","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s11225-009-9193-2","article-title":"Multi-valued semantics: why and how","volume":"92","author":"Avron","year":"2009","journal-title":"Stud Log"},{"key":"2026052520023235000_ref8","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/ISMVL.2004.1319955","article-title":"Non-deterministic matrices","volume-title":"Proceedings of the 34th International Symposium on Multiple-Valued Logic","author":"Avron","year":"2004"},{"key":"2026052520023235000_ref9","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","article-title":"Non-deterministic multiple-valued structures","volume":"15","author":"Avron","year":"2005","journal-title":"J Log Comput"},{"key":"2026052520023235000_ref10","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","article-title":"Non-deterministic semantics for logical systems","volume-title":"Handbook of Philosophical Logic, volume 16","author":"Avron","year":"2011"},{"key":"2026052520023235000_ref11","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/ISMVL.2017.16","article-title":"Non-deterministic matrices in action: Expansions, refinements, and rexpansions","volume-title":"The 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","author":"Avron","year":"2017"},{"key":"2026052520023235000_ref12","doi-asserted-by":"publisher","first-page":"104","DOI":"10.2178\/jsl\/1190150032","article-title":"A new \u201cfeasible\u201d arithmetic","volume":"67","author":"Bellantoni","year":"2002","journal-title":"J Symb Log"},{"key":"2026052520023235000_ref13","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198790396.001.0001","volume-title":"Philosophy and Model Theory","author":"Button","year":"2018"},{"key":"2026052520023235000_ref14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0168-0072(99)00048-2","article-title":"Knowledge, machines, and the consistency of Reinhardt\u2019s strong mechanistic thesis","volume":"105","author":"Carlson","year":"2000","journal-title":"Ann Pure Appl Log"},{"key":"2026052520023235000_ref15","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1017\/S1755020325100737","article-title":"Rnmatrices for modal logics","volume":"18","author":"Coniglio","year":"2025","journal-title":"Review of Symbolic Logic"},{"key":"2026052520023235000_ref16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11787-014-0100-x","article-title":"On non-deterministic quantification","volume":"8","author":"Ferguson","year":"2014","journal-title":"Log Universalis"},{"key":"2026052520023235000_ref17","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0049-237X(08)70142-3","article-title":"Church\u2019s thesis is consistent with epistemic arithmetic","volume-title":"Intensional Mathematics","author":"Flagg","year":"1985"},{"key":"2026052520023235000_ref18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0168-0072(86)90043-6","article-title":"Epistemic and intuitionistic formal systems","volume":"32","author":"Flagg","year":"1986","journal-title":"Ann Pure Appl Log"},{"key":"2026052520023235000_ref19","doi-asserted-by":"publisher","first-page":"1456","DOI":"10.2307\/2274825","article-title":"The equivalence of the disjunction and existence properties for modal arithmetic","volume":"54","author":"Friedman","year":"1989","journal-title":"J Symb Log"},{"key":"2026052520023235000_ref20","doi-asserted-by":"publisher","first-page":"192","DOI":"10.2307\/2274102","article-title":"Epistemic arithmetic is a conservative extension of intuitionistic arithmetic","volume":"49","author":"Goodman","year":"1984","journal-title":"J Symb Log"},{"key":"2026052520023235000_ref21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049","volume-title":"Axiomatic Theories of Truth","author":"Halbach","year":"2011"},{"key":"2026052520023235000_ref22","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198529804.001.0001","volume-title":"A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity","author":"Hedman","year":"2004"},{"key":"2026052520023235000_ref23","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s11229-012-0154-3","article-title":"Modal-epistemic arithmetic and the problem of quantifying in","volume":"190","author":"Heylen","year":"2013","journal-title":"Synthese"},{"key":"2026052520023235000_ref24","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1305\/ndjfl\/1094061865","article-title":"Modal-epistemic variants of Shapiro\u2019s system of epistemic arithmetic","volume":"35","author":"Horsten","year":"1994","journal-title":"Notre Dame J Formal Log"},{"key":"2026052520023235000_ref25","doi-asserted-by":"publisher","first-page":"788","DOI":"10.2307\/2275785","article-title":"Reflecting in epistemic arithmetic","volume":"61","author":"Horsten","year":"1996","journal-title":"J Symb Log"},{"key":"2026052520023235000_ref26","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1023\/A:1017954806119","article-title":"Provability in principle and controversial constructivistic principles","volume":"26","author":"Horsten","year":"1997","journal-title":"J Philos Log"},{"key":"2026052520023235000_ref27","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1515\/9783110332728.203","article-title":"An axiomatic investigation of provability as a primitive predicate","volume-title":"Principles of Truth","author":"Horsten","year":"2002"},{"key":"2026052520023235000_ref28","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1515\/9783110325461.253","article-title":"Formalizing Church\u2019s Thesis","author":"Horsten","year":"2006","journal-title":"Church\u2019s Thesis After 70 Years"},{"key":"2026052520023235000_ref29","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262015868.001.0001","volume-title":"The Tarskian Turn: Deflationism and Axiomatic Truth","author":"Horsten","year":"2011"},{"key":"2026052520023235000_ref30","first-page":"51","article-title":"Tablichnoe postroenie propozitsional\u2019noi modal\u2019noi logiki (tabular construction of the propositional modal logic)","volume":"6","author":"Ivlev","year":"1973","journal-title":"Vestnik Moskovskogo universiteta. Seriya 7. Filosofiya"},{"key":"2026052520023235000_ref31","first-page":"114","article-title":"A semantics for modal calculi","volume":"17","author":"Ivlev","year":"1988","journal-title":"Bull Sect Log"},{"key":"2026052520023235000_ref32","doi-asserted-by":"publisher","first-page":"281","DOI":"10.21146\/2074-1472-2013-19-0-281-307","article-title":"Generalization of Kalmar\u2019s method for quasi-matrix logic","volume":"19","author":"Ivlev","year":"2013","journal-title":"Logicheskie issledovaniya"},{"key":"2026052520023235000_ref33","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF02124726","article-title":"Intuitionist logic, a logic of justification","volume":"37","author":"Kearns","year":"1978","journal-title":"Stud Log"},{"key":"2026052520023235000_ref34","doi-asserted-by":"publisher","first-page":"77","DOI":"10.2307\/2273259","article-title":"Modal semantics without possible worlds","volume":"46","author":"Kearns","year":"1981","journal-title":"J Symb Log"},{"key":"2026052520023235000_ref35","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1093\/acprof:oso\/9780198759591.003.0007","article-title":"G\u00f6del\u2019s disjunction","volume-title":"G\u00f6del\u2019s Disjunction: The Scope and Limits of Mathematical Knowledge","author":"Koellner","year":"2016"},{"key":"2026052520023235000_ref36","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","article-title":"Outline of a theory of truth","volume":"72","author":"Kripke","year":"1975","journal-title":"J Philos"},{"key":"2026052520023235000_ref37","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1057\/9780230245198_13","article-title":"On formal and informal provability","volume-title":"New Waves in Philosophy of Mathematics","author":"Leitgeb","year":"2009"},{"key":"2026052520023235000_ref38","first-page":"153","article-title":"Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability","volume":"16","author":"Montague","year":"1963","journal-title":"Acta Philos Fennica"},{"key":"2026052520023235000_ref39","doi-asserted-by":"publisher","first-page":"461","DOI":"10.2307\/2023664","article-title":"Some remarks on the notion of proof","volume":"57","author":"Myhill","year":"1960","journal-title":"J Philos"},{"key":"2026052520023235000_ref40","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0049-237X(08)70139-3","article-title":"Intensional set theory","volume-title":"Studies in Logic and the Foundations of Mathematics, volume 113","author":"Myhill","year":"1985"},{"key":"2026052520023235000_ref41","doi-asserted-by":"publisher","first-page":"161","DOI":"10.18778\/0138-0680.48.3.01","article-title":"A note on Ciuciura\u2019s mbC1","volume":"48","author":"Omori","year":"2019","journal-title":"Bull Sect Log"},{"key":"2026052520023235000_ref42","first-page":"815","article-title":"More modal semantics without possible worlds","volume":"3","author":"Omori","year":"2016","journal-title":"IFCoLog J Log Appl"},{"key":"2026052520023235000_ref43","first-page":"481","article-title":"A semantics for a failed axiomatization of K","volume-title":"Advances in Modal Logic, volume 13","author":"Omori","year":"2020"},{"key":"2026052520023235000_ref44","doi-asserted-by":"publisher","first-page":"156","DOI":"10.3390\/e22020156","article-title":"Non-deterministic semantics for quantum states","volume":"22","author":"Jorge","year":"2020","journal-title":"Entropy"},{"key":"2026052520023235000_ref45","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1093\/jigpal\/jzx055","article-title":"Proof systems for BAT consequence relations","volume":"26","author":"Pawlowski","year":"2018","journal-title":"Log J IGPL"},{"key":"2026052520023235000_ref46","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s11787-020-00263-0","article-title":"Tree-like proof systems for finitely-many valued non-deterministic consequence relations","volume":"14","author":"Pawlowski","year":"2020","journal-title":"Log Universalis"},{"key":"2026052520023235000_ref47","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1007\/s10849-021-09344-9","article-title":"Non-deterministic logic of informal provability has no finite characterization","volume":"30","author":"Pawlowski","year":"2021","journal-title":"J Log Lang Inform"},{"key":"2026052520023235000_ref48","doi-asserted-by":"publisher","first-page":"exae010","DOI":"10.1093\/logcom\/exae010","article-title":"$\\Box $ and $\\Diamond $ in eight-valued non-deterministic semantics for modal logics","volume":"35","author":"Pawlowski","year":"2025","journal-title":"J Log Comput"},{"key":"2026052520023235000_ref49","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10992-023-09733-4","article-title":"8 valued non-deterministic semantics for modal logics","volume":"53","author":"Pawlowski","year":"2024","journal-title":"J Philos Log"},{"key":"2026052520023235000_ref50","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S1755020317000363","article-title":"Many-valued logic of informal provability: a non-deterministic strategy","volume":"11","author":"Pawlowski","year":"2018","journal-title":"Rev Symb Log"},{"key":"2026052520023235000_ref51","doi-asserted-by":"publisher","first-page":"501","DOI":"10.12775\/LLP.2021.016","article-title":"Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability","volume":"31","author":"Pawlowski","year":"2022","journal-title":"Logic and Logical Philosophy"},{"key":"2026052520023235000_ref52","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1093\/jigpal\/jzab035","article-title":"Logic of informal provability with truth values","volume":"31","author":"Pawlowski","year":"2023","journal-title":"Log J IGPL"},{"key":"2026052520023235000_ref53","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1111\/theo.12456","article-title":"Informal provability and dialetheism","volume":"89","author":"Pawlowski","year":"2023","journal-title":"Theoria"},{"key":"2026052520023235000_ref54","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s11229-024-04521-2","article-title":"Rigor and formalization","volume":"203","author":"Pawlowski","year":"2024","journal-title":"Synthese"},{"key":"2026052520023235000_ref55","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/philmat\/7.1.5","article-title":"Why do we prove theorems?","volume":"7","author":"Rav","year":"1999","journal-title":"Philos Math"},{"key":"2026052520023235000_ref56","first-page":"177","article-title":"The consistency of a variant of Church\u2019s thesis with an axiomatic theory of an epistemic notion","volume":"19","author":"Reinhardt","year":"1985","journal-title":"Revista Colombiana de Matem\u00e1ticas"},{"key":"2026052520023235000_ref57","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/BF00243392","article-title":"Epistemic theories and the interpretation of G\u00f6del\u2019s incompleteness theorems","volume":"15","author":"Reinhardt","year":"1986","journal-title":"J Philos Log"},{"key":"2026052520023235000_ref58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2963674","article-title":"Quasi-truth-functional systems of propositional logic","volume":"27","author":"Rescher","year":"1962","journal-title":"J Symb Log"},{"key":"2026052520023235000_ref59","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1017\/S1755020316000095","article-title":"Realizability semantics for quantified modal logic: generalizing Flagg\u2019s 1985 construction","volume":"9","author":"Rin","year":"2016","journal-title":"Rev Symb Log"},{"key":"2026052520023235000_ref60","doi-asserted-by":"publisher","first-page":"748","DOI":"10.2307\/2274028","article-title":"Some properties of epistemic set theory with collection","volume":"51","author":"Scedrov","year":"1986","journal-title":"J Symb Log"},{"key":"2026052520023235000_ref61","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0049-237X(08)70138-1","article-title":"Epistemic and intuitionistic arithmetic","volume-title":"Studies in Logic and the Foundations of Mathematics, vol. 113","author":"Shapiro","year":"1985"},{"key":"2026052520023235000_ref62","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s12136-009-0084-y","article-title":"A note on the relation between formal and informal proof","volume":"25","author":"Sj\u00f6gren","year":"2010","journal-title":"Acta Anal"},{"key":"2026052520023235000_ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22557-9","volume-title":"Trends in Logic","author":"Stern","year":"2016"},{"key":"2026052520023235000_ref64","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1093\/philmat\/nkv008","article-title":"A problem with the dependence of informal proofs on formal proofs","volume":"23","author":"Tanswell","year":"2015","journal-title":"Philos Math"},{"key":"2026052520023235000_ref65","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-319-40220-8_11","article-title":"Saving proof from paradox: G\u00f6del\u2019s paradox and the inconsistency of informal mathematics","volume-title":"Logical Studies of Paraconsistent Reasoning in Science and Mathematics","author":"Tanswell","year":"2016"},{"key":"2026052520023235000_ref66","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BF00413468","article-title":"A note on syntactical treatments of modality","volume":"44","author":"Thomason","year":"1980","journal-title":"Synthese"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/34\/3\/jzag028\/68282203\/jzag028.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/34\/3\/jzag028\/68282203\/jzag028.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T00:02:41Z","timestamp":1779753761000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/doi\/10.1093\/jigpal\/jzag028\/8677801"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,13]]},"references-count":66,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,5,26]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzag028","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2026,6]]},"published":{"date-parts":[[2026,5,13]]},"article-number":"jzag028"}}