Counterpart-based Quantified Temporal Logics

• Published in: Journal of logical and algebraic methods in programming Vol. 148; p. 101082
• Main Authors: Gadducci, Fabio, Laretto, Andrea, Trotta, Davide
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.01.2026

The aim of this work is to present counterpart-based quantified temporal logics from several points of view. We start by introducing a set-based semantics for a (first-order) linear temporal logic based on the counterpart paradigm, along with results on its positive normal form both in the case of p...