Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus

Afshari, Bahareh; Leigh, Graham E.; Turata, Guillermo Menéndez

doi:10.1007/978-3-030-86059-2_20

Cited by 5 publications

(1 citation statement)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Bílková (2011) has also provided a syntactic proof for the uniform interpolation property for K based on nested sequents. Another example in this line of research is the syntactic treatment of uniform interpolation for the modal µ-calculus via cyclic proofs (Afshari et al, 2021). Not only sequent-like systems are used, but also resolution-based methods in for instance (multi-)modal logics by Herzig and Mengin (2008) and Alassaf et al (2021).…”

Section: Proof Theorymentioning

confidence: 99%

Uniform Interpolation and Admissible Rules

Giessen¹

View full text Add to dashboard Cite

Ik bedank de wiskundemeiden Anita, Daja, Heleen, Jo-anne en Simone. Wat een geweldige studietijd heb ik met jullie beleefd. Ik hoop dat mijn proefschrift weer een vlaag van herkenning en vreugde bij jullie oproept bij het lezen van 'Definition' dit en 'Theorem' dat. Simone, Lotte en Eline, bedankt voor het doorploegen van de Nederlandse samenvatting. Ik bedank al mijn vrienden voor alle gezelligheid.Papa en mama, wat fijn dat jullie altijd achter me staan. Ik moest mezelf vaak herinneren aan mijn moeders wijsheid: 80% is goed genoeg! Papa, bedankt voor al je grapjes over π (deze is de enige die je in dit proefschrift zult vinden). David en Judith, jullie zijn mijn geweldige broer en zus. David, het is leuk dat we beide een achtergrond hebben in de wiskunde en dat je net zo gek bent als ik om Carcassonne te spelen met alle uitbreidingen. Judith, ik bewonder je lef en volg je voetsporen om na mijn PhD verder onderzoek te doen in het buitenland. Wij zijn nog lang niet uitgegiecheld :) Esther en Winfried, wat fijn om jullie als schoonouders te hebben en ik ben blij dat de deur altijd bij jullie open staat. Valijn, je brengt me aan het lachen, je troost me, je begrijpt me, je laat me en je maakt me gelukkig.

show abstract

Section: Proof Theorymentioning

confidence: 99%