 | Up a level |
Faroldi, Federico L G; Ghari, Meghdad; Lehmann, Eveline; Studer, Thomas (2022). Consistency and permission in deontic justification logic. Journal of logic and computation, 34(4), pp. 640-664. Oxford University Press 10.1093/logcom/exac045
Bucheli, Samuel; Ghari, Meghdad; Studer, Thomas (2017). Temporal Justification Logic. Electronic proceedings in theoretical computer science, 243, pp. 59-74. NICTA 10.4204/EPTCS.243.5
Studer, Thomas; Faroldi, Federico; Ghari, Meghdad; Lehmann, Eveline (2020). Impossible and Conflicting Obligations in Justification Logic (Submitted). In: 15th International Conference on Deontic Logic and Normative Systems (DEON 2020). 30.07.2020 – 02.08.2020 (postponed to 2021).
