Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of first-order logic that re recently introduced by H. Andreka et al. (1998). Guarded fixed point logics can also be vied as the natural common extensions of the modal p-calculus and the guarded fragments.  prove that the satisfiability problems for guarded fixed point logics are decidable and complete for deterministic double exponential time. For guarded fixed point sentences of bounded width, the most important case for applications, the satisfiability problem is EXPTIME-complete.
['Erich Grädel', 'Igor Walukiewicz']
I am writing a research paper on a idea Guarded fixed point logic
[{"from": "human", "value": "I am writing a research paper on a idea Guarded fixed point logic"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of first-order logic that re recently introduced by H. Andreka et al. (1998). Guarded fixed point logics can also be vied as the natural common extensions of the modal p-calculus and the guarded fragments.  prove that the satisfiability problems for guarded fixed point logics are decidable and complete for deterministic double exponential time. For guarded fixed point sentences of bounded width, the most important case for applications, the satisfiability problem is EXPTIME-complete."}]