Standpoint Linear Temporal Logic

Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon

Abstract: Many complex scenarios require the coordination of agents holding different points of view, possibly cooperating and not necessarily agreeing. For this reason, standpoint logic (SL) has been recent...