PDL with negation of atomic programs

DOI10.3166/JANCL.15.189-213MaRDI QIDQ3647227zbMATH OpenOpenAlexFDO

Authors Carsten Lutz, D. Walther

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.189-213

zbMATH Keywords

complexityprogram negationpropositional dynamic logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automated Reasoning
• PDL with data constants
• Propositional dynamic logic with recursive programs
• Foundations of Software Science and Computation Structures
• The propositional dynamic logic of deterministic, well-structured programs

Cites work

• An essay in combinatory dynamic logic
• Automata-theoretic techniques for modal logics of programs
• scientific article; zbMATH DE number 4068839 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 2196585 (Why is no real title available?)
• Inaccessible worlds
• Modal definability in enriched languages
• Propositional dynamic logic of regular programs
• Reasoning about action and change. A dynamic logic approach
• Using the Universal Modality: Gains and Questions

Cited in

(13)

• A Reduction from DLP to PDL
• Algebraic Semantics for Dynamic Dynamic Logic
• Cheap Boolean Role Constructors for Description Logics
• PDL with intersection and converse: satisfiability and infinite-state model checking
• scientific article; zbMATH DE number 3979045 (Why is no real title available?)
• From positive PDL to its non-classical extensions
• \(\mathrm{FO}=\mathrm{FO}^3\) for linear orders with monotone binary relations
• Non-classical PDL on the cheap
• Automated Reasoning
• On the negation of action types: constructive concurrent PDL
• 2-Exp Time lower bounds for propositional dynamic logics with intersection
• scientific article; zbMATH DE number 2209347 (Why is no real title available?)
• Derivatives on graphs for the positive calculus of relations with transitive closure

This page was built for publication: PDL with negation of atomic programs

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