Dynamic Hypersequents for Public Announcement Logic

View Full Paper

Ask AI

Bookmark

Share

Key Points

To investigate the application of dynamic hypersequents in public announcement logic, enhancing existing proof frameworks.
Developing a formalization of dynamic hypersequents tailored to public announcement logic.
Analyzing properties of the hypersequent calculus framework related to information updates.
Comparing the new system to traditional approaches in modal proof systems.
Establishing soundness and completeness of the proposed dynamic hypersequent system.
Demonstrating improved handling of information flow in public announcement scenarios.
Illustrating the advantages of hypersequents over traditional sequents in certain logical contexts.

This work explores dynamic hypersequents in public announcement logic, suggesting a novel proof system for information updates.

No abstract yet. The journal hasn't published one we can show.

No takes yet. Share an insight, caveat, or question.

Lerouvillois et al. (2026) studied this question.

View Full Paper

Ask AI

Bookmark

Share