Cut-Elimination in Cyclic Proof Systems for Propositional Dynamic Logic

This research explores a specific theoretical aspect of formal logic, which is crucial for the soundness and completeness of proof systems. The focus on cut-elimination within a cyclic proof system for propositional dynamic logic is a significant contribution to automated reasoning.

• •Focuses on cut-elimination, a key concept in proof theory.
• •Investigates cyclic proof systems, which can be more efficient.
• •The research contributes to automated reasoning and logic programming.