Hi! I am a logician working on team semantics and team-based logics such as dependence logic. I recently graduated from the PhD programme in logic at the ILLC, University of Amsterdam, under the supervision of Fan Yang and Maria Aloni (having transferred from the Helsinki Logic Group). I am part of the NihiL project at the ILLC.
—
Convex Team Logics —
A Deep-inference Sequent Calculus for a Propositional Team Logic —
The Logic of Nothingness —
Convex Team Logics (joint talk with Søren Knudstorp) —
Further Remarks on the Dual Negation in Team Semantics —
How to Split a Relation (joint talk with Marco Degano, Tomasz Klochowicz and Søren Knudstorp) —
Deep Inference Sequent Calculi for Propositional Logics with Team Semantics —
State-based Modal Logics for Free Choice —
Bilateral State-based Modal Logic: Expressive Power and Axiomatizations —
Propositional and Modal Team Semantics: the Failure of Downward Closure —
Convexity in Propositional Team Semantics —
Deep Inference Sequent Calculi for Team-based Logics —
Deep Inference Sequent Calculi for Propositional Logics with Team Semantics —
BSML and Expressive Completeness (joint talk with Søren Knudstorp) —
Further Remarks on the 'Non-semantic' Nature of the Dual Negation —
A Remark on the Negation in Bilateral State-based Modal Logic —
An Axiomatization of Bilateral State-based Modal Logic —
A Remark on the Dual Negation in Propositional/Modal Team Semantics —
Modal Team Logics for Modelling Free Choice Inference —
Modal Team Logics for Modelling Free Choice Inference —
Axiomatizing a Logic for Modelling Free Choice Inference —
A Logic for Modelling Free Choice Inference —
Axiomatizing a Logic for Free Choice