41 citations · 104 across the 19 of their papers we have counts for
1 paper · 1 filter
Stéphane Demri, Przemysław Andrzej Wałęga
Standpoint linear temporal logic SLTL is a recent formalism able to model possibly conflicting commitments made by distinct agents, taking into account aspects of temporal reasonin…