What Are Justification Logics?
Fitting, Melvin, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, PiotrVolume:
165
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2019-1782
Date:
March, 2019
File:
PDF, 219 KB
english, 2019