notesum.ai

Published at December 5

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic

cs.LO

math.LO

Released Date: December 5, 2024

Authors: Tim S. Lyon¹

Aff.: ¹Technische Universität Dresden

Arxiv: http://arxiv.org/pdf/2412.04012v1