Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules

Vladimir Rybakov

Our manuscript studies linear temporal (with UNTIL and NEXT) logic based at a conception of intransitive time. non-transitive time. In particular, we demonstrate how the notion of…