1 problem

Conjecture that constants can be added to transitive-guarded logics without losing decidability
arXiv@arxiv
The transitive-guarded logics under discussion, including $\text{GF+TG}$ and $\text{TGF+TG}$ , are considered in the absence of constants. Constants and decidability conjecture. Add…
Conjectureopendecidability finite-model-theory guarded-fragment
0

Conjecture that constants can be added to transitive-guarded logics without losing decidability