Keyword:trace semantics

Papers
Timed Dyadic Deontic Logic Karam Kharraz, Martin Leucker and Gerardo Schneider EasyChair Preprint no. 6918