{"id":"arxiv/2611.02971","url":"https://arxiv.org/abs/2611.02971","tags":["cs.LO","math.LO"],"score":0,"title":"Propositional Dynamic Logic with Program Costs","domain":"cs.LO","source":"arxiv","authors":["Krishna Manoorkar","Wolfgang Poiger"],"reviews":0,"subject":"cs.LO","summary":"We introduce $\\mathbb{N}\\mathtt{PDL}$, a resource-aware variant of Propositional Dynamic Logic ($\\mathtt{PDL}$) capable of accounting for program costs measured by natural numbers (such as time or space in the sense of computability theory). In this framework, programs correspond to transition systems weighted by extended natural numbers, and the syntax of our logic includes formulas expressing which properties are reachable by program executions within specific cost constraints. First, we explain how the standard program constructs of non-deterministic choice, sequential composition,…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}