Foundations of Software Science and Computation Structures

DOI10.1007/11690634MaRDI QIDQ5899095zbMATH OpenOpenAlexFDO

Authors Christof Löding, Olivier Serre

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11690634

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Recommendations

• Propositional dynamic logic with recursive programs
• scientific article; zbMATH DE number 139632
• The propositional dynamic logic of deterministic, well-structured programs
• scientific article; zbMATH DE number 3880104
• Deciding Properties of Nonregular Programs

Cited in

(26)

• Visibly linear temporal logic
• scientific article; zbMATH DE number 139632 (Why is no real title available?)
• A note on an extension of PDL
• scientific article; zbMATH DE number 4174903 (Why is no real title available?)
• Propositional dynamic logic of context-free programs and fixpoint logic with chop
• The propositional dynamic logic of deterministic, well-structured programs
• PDL with negation of atomic programs
• Propositional dynamic logic for higher-order functional programs
• scientific article; zbMATH DE number 1678389 (Why is no real title available?)
• scientific article; zbMATH DE number 3848600 (Why is no real title available?)
• A practical decision method for propositional dynamic logic (preliminary report)
• A probabilistic PDL
• Propositional dynamic logic with local assignments
• Reasoning with recursive loops under the PLP framework
• Propositional dynamic logic with program quantifiers
• scientific article; zbMATH DE number 4068839 (Why is no real title available?)
• Propositional dynamic logic with recursive programs
• scientific article; zbMATH DE number 3845026 (Why is no real title available?)
• scientific article; zbMATH DE number 3880104 (Why is no real title available?)
• scientific article; zbMATH DE number 3862425 (Why is no real title available?)
• Separating the expressive power of propositional dynamic and modal fixpoint logics
• scientific article; zbMATH DE number 3968565 (Why is no real title available?)
• Deciding Properties of Nonregular Programs
• Automated Reasoning
• PDL with data constants
• Branching-time logics with path relativisation

This page was built for publication: Foundations of Software Science and Computation Structures

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