Model Checking Linear Temporal Logic with Standpoint Modalities

Rajab Aghamov, Christel Baier, Toghrul Karimov +4

Standpoint linear temporal logic ($SLTL$) is a recently introduced extension of classical linear temporal logic ($LTL$) with standpoint modalities. Intuitively, these modalities al…