@Inproceedings{EPTCS348.10, author = {Hagemann, Willem}, year = {2021}, title = {Towards a Formalisation of Justification and Justifiability}, editor = {Farrell, Marie and Luckcuck, Matt}, booktitle = {{\rm Proceedings Third Workshop on} Formal Methods for Autonomous Systems, {\rm Virtual, 21st-22nd of October 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {348}, publisher = {Open Publishing Association}, pages = {136-149}, doi = {10.4204/EPTCS.348.10}, }