PDL for ordered trees

DOI10.3166/jancl.15.115-135zbMath1185.03056OpenAlexW2117522142WikidataQ126276983 ScholiaQ126276983MaRDI QIDQ3647225

Bertrand Gaiffe, Loredana Afanasiev, Evan Goris, Ioanna Matilde Dimitriou, Maarten de Rijke, Patrick Blackburn, Maarten Marx

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.15.115-135

zbMATH Keywords

complexitydefinabilityexpressivityordered treespropositional dynamic logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Complexity of modal logics with Presburger constraints ⋮ Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization ⋮ Efficiently Deciding μ-Calculus with Converse over Finite Trees ⋮ Complexity of hybrid logics over transitive frames ⋮ PDL with intersection and converse: satisfiability and infinite-state model checking ⋮ Inessential features, ineliminable features, and modal logics for model theoretic syntax ⋮ 2-Exp Time lower bounds for propositional dynamic logics with intersection

Cites Work

• Unnamed Item
• Unnamed Item
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Automata-theoretic techniques for modal logics of programs
• Propositional dynamic logic of regular programs
• Syntactic codes and grammar refinement
• Linguistics, Logic and Finite Trees
• Decidability of S1S and S2S
• Reachability logic: an efficient fragment of transitive closure logic
• A Modal Perspective on Path Constraints

This page was built for publication: PDL for ordered trees