Timed Dyadic Deontic Logic.

Karam Younes Kharraz, Martin Leucker, Gerardo Schneider

Browse the full JURIX paper archive.