57 citations · 93 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 2 cited
Resource separation in dynamic logic of propositional assignments
Joseph Boudou, Andreas Herzig, Nicolas Troquard
We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction…
cs.MA2021★ 1 cited
Tracking and managing deemed abilities
Nicolas Troquard
Information about the powers and abilities of acting entities is used to coordinate their actions in societies, either physical or digital. Yet, the commonsensical meaning of an ac…