# Standpoint Linear Temporal Logic

arXiv: https://arxiv.org/abs/2304.14243 · HTML: https://mlsanity.com/paper/2304.14243/

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- Builds on 5 of its 46 references that are in the map.
- First posted on arXiv 27 Apr 2023.

## Builds on (most cited first, 5 of 5)

- [Multi-Agent Reinforcement Learning with Temporal Logic Specifications](https://mlsanity.com/paper/2102.00582/) (2021)
- [A New Rule for LTL Tableaux](https://mlsanity.com/paper/1609.04102/) (2016)
- [One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past](https://mlsanity.com/paper/1809.03101/) (2018)
- [Automating Reasoning with Standpoint Logic via Nested Sequents](https://mlsanity.com/paper/2205.02749/) (2022)
- [A Parallel Linear Temporal Logic Tableau](https://mlsanity.com/paper/1709.02101/) (2017)

## Built on by (most cited first, 4 of 4)

- [Towards Propositional KLM-Style Defeasible Standpoint Logics](https://mlsanity.com/paper/2410.04245/) (2024)
- [The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics](https://mlsanity.com/paper/2505.11930/) (2025)
- [Extending Defeasibility for Propositional Standpoint Logics](https://mlsanity.com/paper/2507.10133/) (2025)
- [Standpoint Logics with Defeasible Beliefs](https://mlsanity.com/paper/2606.08503/) (2026)

## Abstract (arXiv)

Many complex scenarios require the coordination of agents possessing unique points of view and distinct semantic commitments. In response, standpoint logic (SL) was introduced in the context of knowledge integration, allowing one to reason with diverse and potentially conflicting viewpoints by means of indexed modalities. Another multi-modal logic of import is linear temporal logic (LTL) - a formalism used to express temporal properties of systems and processes, having prominence in formal methods and fields related to artificial intelligence. In this paper, we present standpoint linear temporal logic (SLTL), a new logic that combines the temporal features of LTL with the multi-perspective modelling capacity of SL. We define the logic SLTL, its syntax, and its semantics, establish its decidability and complexity, and provide a terminating tableau calculus to automate SLTL reasoning. Conveniently, this offers a clear path to extend existing LTL reasoners with practical reasoning support for temporal reasoning in multi-perspective settings.