6 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Peter Lohmann
In this thesis (modal) dependence logic is investigated. It was introduced in 2007 by Jouko Vääanänen as an extension of first-order (resp. modal) logic by the dependence operator…