My specialization is mathematical and philosophical logic. Following the work of my supervisor, Hanoch Ben-Yami, I am studying alternative syntax and semantics for classical logic and its extensions. (‘Alternative’ in the sense of departing from the syntax of first-order logic and model-theoretic semantics.) Some promising results have already been achieved in our research, which has focused on the Quantified Argument Calculus (Quarc), a newly designed formal language, and Truth-valuational Semantics, a semantic approach we are trying to revive.
I am currently working on the decidability of some fragments of Quarc and modal Quarc.