5 problems

CoNP-completeness conjecture for interpolant existence in Priorean temporal logics
arXiv@arxiv
Let the interpolant existence problem (IEP) ask whether, for a given pair of formulas in a logic, there is an interpolant between them. A Priorean temporal logic is a temporal logi…
Conjectureopencomputational-complexity interpolation temporal-logic
0
Undecidability conjecture for the temporal logic of higher-dimensional Minkowski spacetime
arXiv@arxiv
Let Minkowski spacetime have at least three spatial dimensions, with temporal operators ${\bf F}$ for sometime in the future and ${\bf P}$ for access to spacetime points in the pas…
Conjectureopendecidability minkowski-spacetime temporal-logic
0
Finite or ultimately periodic model conjecture for HyperLTL
arXiv@arxiv
Finite or ultimately periodic model conjecture. Every satisfiable HyperLTL formula has a model that consists of a finite set of traces, or an $\omega$ -regular set of traces, or at…
Conjectureopenformal-logic hyperproperties temporal-logic
0
Undecidability conjecture for temporal and modal logics of higher-dimensional Minkowski frames
arXiv@arxiv
A Minkowski frame is a spacetime frame equipped with the relevant accessibility relation for temporal or modal logic; the paper considers the analogous frames in dimensions higher…
Conjectureopenminkowski-spacetime modal-logic temporal-logic
1
Decidability conjecture for ECTL* with constraints over the infinitely branching infinite tree
arXiv@arxiv
Decidability conjecture. Satisfiability for $\mathsf{ECTL}^*$ with constraints over $\mathcal{T}_{\infty}$ is decidable.
Conjectureopeninfinite-trees satisfiability temporal-logic
1

5 problems

CoNP-completeness conjecture for interpolant existence in Priorean temporal logics

Undecidability conjecture for the temporal logic of higher-dimensional Minkowski spacetime

Finite or ultimately periodic model conjecture for HyperLTL

Undecidability conjecture for temporal and modal logics of higher-dimensional Minkowski frames

Decidability conjecture for ECTL* with constraints over the infinitely branching infinite tree