What question did this study set out to answer?

The study aims to explore how formal elimination affects the structure of finite S4 models and the nature of their behavioral types.

August 7, 2026Open Access

From Profiles to Behaviors: What Elimination Leaves in S4

View Full Paper

Ask AI

Bookmark

The study aims to explore how formal elimination affects the structure of finite S4 models and the nature of their behavioral types.
Introduced coalgebraic towers of finite behavioral types
Developed a one-step S4 construction for explicit deletion
Tested realizability at various depths of S4 models
Identified that S5 stabilizes after a single modal step, unlike finite S4 which requires unbounded depth
Established that the elimination process leads to a behaviorally organized residue, which is not just a simple catalog of possibilities
Showed that the repairs to the base structure provide a significant modal generation mechanism across finite S4 models

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

Formal elimination maintains behavioral structure in finite S4 models, suggesting new interpretations of modal logic.

Lorand Bruhacs (2026) studied this question.

View Full Paper

Ask AI

Bookmark