Logical Foundations of Computer Science
2007
Journal of Applied Logics, Volume 8, Number 8, September 2021. Special Issue
2021
Justification Logic
2019
