this issue
previous article in this issuenext article in this issue

Preview first page
Document Details :

Title: Permanence vs. Termination
Subtitle: A Logical Analysis
Author(s): PASCUCCI, Matteo , PIZZI, Claudio E.A.
Journal: Logique et Analyse
Volume: 257    Date: 2022   
Pages: 57-78
DOI: 10.2143/LEA.257.0.3291071

Abstract :
The present article is devoted to a logical inquiry on the notions of permanence and termination, which play a central role in many areas of temporal reasoning. In the first part, we introduce a bimodal framework to represent these notions and provide a syntactic and semantic comparison with a monomodal framework representing the notion of future necessity. In the second part, we focus on the problem of defining synonymous logical systems over the two frameworks. The third part of the article indicates possible developments of the proposed line of inquiry, such as finding a simple representation in the bimodal language of some interesting properties of time and identifying further pairs of synonymous systems.

Download article