Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Mikołaj Swoboda

h-index 0 View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Towards Finite Satisfiability of PDL with Loops

Propositional Dynamic Logic (PDL) is a well-established modal logic of programs. Among its many extensions, the loop operator stands out for capturing the cyclic behaviour of programs: a world satisfies loop(pi) precisely when it can return to itself along a path matching the regular expression pi. While the satisfiabi...

B. Bednarczyk, Mikolaj Swoboda · 0 citations
2026

Baby Steps Towards Finite Satisfiability For LoopPDL

This workshop paper presents a simplified version of the proposed loop operator approach, applied to a logic with loops restricted to atomic roles and their transitive closures.

B. Bednarczyk, Mikołaj Swoboda · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.