The social sector generally considers leadership development a good investment, especially when it comes to cultivating systems-level change. But ask leadership program developers and evaluators, ...

Provability Logic: A modal logical framework that formalises the concept of provability within mathematical systems, thereby linking proof theory and modal semantics.