Robuta

https://en.wikipedia.org/wiki/Linear_temporal_logic
linear temporal logicwikipedia
https://arxiv.org/abs/2502.20193
Abstract page for arXiv paper 2502.20193: Model Checking Linear Temporal Logic with Standpoint Modalities
linear temporal logicmodel checkingstandpointmodalities