publication venue for Justification Logic with Confidence 2020 Quasivarieties of Modules Over Path Algebras of Quivers 2006 The logic of ability, freedom and responsibility 1982
