 | Up a level |
Colacito, Almudena; Metcalfe, George (2017). Proof Theory and Ordered Groups. In: Kennedy, Juliette; de Queiroz, Ruy J.G.B. (eds.) Proceedings of WoLLIC 2017. Logic, Language, Information, and Computation. Lecture Notes in Computer Science: Vol. 10388 (pp. 80-91). Springer-Verlag Berlin Heidelberg 10.1007/978-3-662-55386-2_6
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
