Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Sequent calculi for skeptical consequence in predicate default logic, predicate stable model logic programming, and infinite autoepistemic theories are presented and proved sound and complete. While skeptical consequence is decidable in the finite propositional case of all three formalisms, the move to predicate or infinite theories increases the complexity of skeptical reasoning to being ?11-complete. This implies the need for sequent rules with countably many premises, and such rules are employed.
['Robert Saxon Milnikel']
I am writing a research paper on a idea Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
[{"from": "human", "value": "I am writing a research paper on a idea Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Sequent calculi for skeptical consequence in predicate default logic, predicate stable model logic programming, and infinite autoepistemic theories are presented and proved sound and complete. While skeptical consequence is decidable in the finite propositional case of all three formalisms, the move to predicate or infinite theories increases the complexity of skeptical reasoning to being ?11-complete. This implies the need for sequent rules with countably many premises, and such rules are employed."}]