activity
20172023
most citedDynamic Term-Modal Logics for First-Order Epistemic Planning

23 citations · 42 across the 12 of their papers we have counts for

collaborators
Showing 2023Show all

4 papers · 1 filter