Publications
“Logics Of (Formal And Informal) Provability” . Handbook of Formal Philosophy.
. In Press. “Many-Valued Logic Of Informal Provability: A Non-Deterministic Strategy”. The Review of Symbolic Logic.
. In Press. “Proof Systems For Bat Consequence Relations ”. The Logic Journal of IGPL.
. In Press. “Philosophical Aspects Of An Alleged Connection Between The Axiom Of Choice And Predicting The Future” . Applications of Formal Philosophy The Road Less Travelled: 213-220.
. 2017.