Exploring non-regular extensions of propositional dynamic logic with description-logics features

DOI10.46298/LMCS-20(2:7)2024MaRDI QIDQ6563054zbMATH OpenFDO

Authors Bartosz Bednarczyk

Publication date 27 June 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-20(2:7)2024

zbMATH Keywords

(un)decidability\(\mathcal{ALC}_{\mathrm{reg}}\)complexitydescription logicsnominalsnon-regular extensionspropositional dynamic logicvisibly pushdown languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A goal-directed decision procedure for hybrid PDL
• Adding nesting structure to words
• An introduction to description logic
• Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies
• Conjunctive visibly-pushdown path queries
• Deciding Properties of Nonregular Programs
• Fragments of First-Order Logic
• scientific article; zbMATH DE number 3862425 (Why is no real title available?)
• scientific article; zbMATH DE number 5599076 (Why is no real title available?)
• scientific article; zbMATH DE number 3772937 (Why is no real title available?)
• scientific article; zbMATH DE number 1048047 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• More on nonregular PDL: Finite models and Fibonacci-like programs
• Propositional dynamic logic of regular programs
• Propositional dynamic logic with recursive programs
• Reasoning and query answering in description logics
• Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\)
• Undecidability of the logic of overlap relation over discrete linear orderings
• Verification of evolving graph-structured data under expressive path constraints

This page was built for publication: Exploring non-regular extensions of propositional dynamic logic with description-logics features

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