A Categorical Approach to Coalgebraic Fixpoint Logic

التفاصيل البيبلوغرافية
العنوان: A Categorical Approach to Coalgebraic Fixpoint Logic
المؤلفون: Schoen, Ezra, Kupke, Clemens, Rot, Jurriaan, Turkenburg, Ruben
سنة النشر: 2024
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Logic in Computer Science
الوصف: We define a framework for incorporating alternation-free fixpoint logics into the dual-adjunction setup for coalgebraic modal logics. We achieve this by using order-enriched categories. We give a least-solution semantics as well as an initial algebra semantics, and prove they are equivalent. We also show how to place the alternation-free coalgebraic $\mu$-calculus in this framework, as well as PDL and a logic with a probabilistic dynamic modality.
نوع الوثيقة: Working Paper
URL الوصول: http://arxiv.org/abs/2405.00237
رقم الأكسشن: edsarx.2405.00237
قاعدة البيانات: arXiv