Tomasz Połacik

Papers in preparation

1. Propositional quantifiers over tree-like models.

2. Kripke model equivalence and bisimulation over intuitionistic predicate calculus, with Wim Ruitenburg.