 | Up a level |
Faroldi, Federico L. G.; Rohani, Atefeh; Studer, Thomas (2023). Conditional Obligations in Justification Logic. In: Hansen, Helle Hvid; Scedrov, Andre; de Queiroz, Ruy J.G.B. (eds.) 29th International Workshop on Logic, Language, Information, and Computation, 2023. Lecture Notes in Computer Science: Vol. 13923 (pp. 178-193). Cham: Springer Nature Switzerland 10.1007/978-3-031-39784-4_11
Rohani, Atefeh; Studer, Thomas (5 October 2021). Explicit Non-normal Modal Logic. In: Silva, Alexandra; Wassermann, Renata; de Queiroz, Ruy (eds.) WoLLIC 2021 - 27th Workshop on Logic, Language, Information and Computation. Lecture Notes in Computer Science: Vol. 13038 (pp. 64-81). Springer 10.1007/978-3-030-88853-4_5
