Ville Nurmi

Team Logic and Second-Order Logic

Juha Kontinen, Ville Nurmi, J. Kontinen, 2009, WoLLIC.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

Ville Nurmi, Ville Nurmi, 2009 .

Team Logic and Second-Order Logic

Juha Kontinen, Ville Nurmi, 2011, Fundam. Informaticae.

Dependence Logic: Appendix: Solutions to selected exercises

Ville Nurmi, 2007 .