Items where Author is "Rendsvig, Rasmus K."

Item Type No Grouping

Dynamic term-modal logics for first-order epistemic planning. Liberman, Andrés Occhipinti and Achen, Andreas and Rendsvig, Rasmus K. picture_as_pdf