5 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 5 cited
Dynamic Logic of Legal Competences
Huimin Dong, Olivier Roy
We propose a new formalization of legal competences, and in particular for the Hohfeldian categories of power and immunity, through a deontic reinterpretation of dynamic epistemic…
cs.LO2021★ 4 cited
Revisiting Epistemic Logic with Names
Marta Bílková, Zoé Christoff, Olivier Roy
This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agents are replaced by abstract, intensional "names". We make three contributions. F…