A Decidable Non-Regular Modal Fixpoint Logic

DOI10.4230/LIPICS.CONCUR.2021.23OpenAlexW3194603731MaRDI QIDQ6176107

Florian Bruse, Martin Lange

Publication date: 21 August 2023

Full work available at URL: https://doi.org/10.4230/LIPIcs.CONCUR.2021.23

zbMATH Keywords

formal specificationtemporal logicexpressive power

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

A Step Up in Expressiveness of Decidable Fixpoint Logics ⋮ Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features ⋮ Separating the expressive power of propositional dynamic and modal fixpoint logics

This page was built for publication: A Decidable Non-Regular Modal Fixpoint Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6176107)