Modal Logics for Free
Master Project
of Ivan Todorov
t.b.a.
Modal Logics for Free
Student: Ivan Todorov
Supervisor(s): Casper Bach Poulsen