 | 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
Lehmann, Eveline (2021). Subset Semantics for Justifications. (Dissertation, Universität Bern, Philosophisch-naturwissenschaftlichen Fakultät)
Lehmann, Eveline; Studer, Thomas (2021). Exploring Subset Models for Justification Logic. In: Fitting, Melvin (ed.) Selected Topics from Contemporary Logics. London: College Publications
Lehmann, Eveline; Studer, Thomas (January 2020). Belief Expansion in Subset Models. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science LFCS 2020. Lecture Notes in Computer Science: Vol. 11972 (pp. 85-97). Springer 10.1007/978-3-030-36755-8_6
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).
Lehmann, Eveline; Studer, Thomas (July 2019). Subset models for justification logic. Lecture notes in computer science, 11541, pp. 433-449. Springer 10.1007/978-3-662-59533-6_26
