Rohani, Atefeh

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: Yes

Yes

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

Provide Feedback