
The paper concerns the problem of logical consequence in linear temporal logics in terms of logical consecutions. A logical consecution c is an expression ψ1,...,ψn/ψ, where all ψi and ψ are formulas. An informal meaning of c is 'ψ is a logical consequence of assumptions ψ1,...ψn'. We introduce valid and admissible temporal consecutions and prove that the class of admissible consecutions is a proper extension of the class of all valid consecutions. First we describe the admissible consecutions of the intransitive linear temporal Tomorrow/Yesterday logic TYL defined by intervals of natural numbers in a semantic manner -- via consecutions valid on special constructive temporal Kripke/Hintikka models. Then we show that any temporal consecution has a reduced normal form which is given in terms of temporal formulas of temporal degree at most 1. Using this and an enhanced semantic technique we construct an algorithm recognizing consecutions admissible in TYL, i.e. we show that TYL is decidable w.r.t. admissible consecutions.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 24 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
