An elementary proof of the completeness of PDL
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3686774 (Why is no real title available?)
- scientific article; zbMATH DE number 3607998 (Why is no real title available?)
- A practical decision method for propositional dynamic logic (preliminary report)
- Propositional dynamic logic of regular programs
- Sequential method in propositional dynamic logic
Cited in
(52)- Subject-oriented spatial logic
- Reasoning with protocols under imperfect information
- Structures of oppositions in public announcement logic
- A logic to reason about likelihood
- Concurrent program schemes and their logics
- Automated temporal reasoning about reactive systems
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
- Deterministic propositional dynamic logic: finite models, complexity, and completeness
- An exercise on the generation of many-valued dynamic logics
- Dynamic Łukasiewicz logic and its application to immune system
- Dynamic linear time temporal logic
- The propositional dynamic logic of deterministic, well-structured programs
- The logic of public announcements, common knowledge, and private suspicions
- Completeness for flat modal fixpoint logics
- Propositional Dynamic Logic as a Logic of Belief Revision
- Dynamic topological logic
- Computation paths logic: an expressive, yet elementary, process logic
- On models for propositional dynamic logic
- Results on the propositional \(\mu\)-calculus
- Strong completeness and limited canonicity for PDL
- Dynamic epistemic logics
- Computation paths logic: An expressive, yet elementary, process logic
- Adding proof calculi to epistemic logics with structured knowledge
- Reasoning in large games with unboundedly many players
- Tableaux for constructive concurrent dynamic logic
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- A guide to completeness and complexity for modal logics of knowledge and belief
- Expressivity and completeness for public update logics via reduction axioms
- The language of social software
- An essay in combinatory dynamic logic
- Dynamic topological S5
- On the complexity of Kleene algebra with domain
- Games for the -calculus
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- Weak completeness of coalgebraic dynamic logics
- Constructive modal logics. I
- Sequential dynamic logic
- Finite models constructed from canonical formulas
- Decision procedures and expressiveness in the temporal logic of branching time
- Filtration and canonical completeness for continuous modal \(\mu\)-calculi
- Process logic: Expressiveness, decidability, completeness
- Mechanising Gödel-Löb provability logic in HOL light
- Automata-theoretic techniques for modal logics of programs
- Process logic with regular formulas
- Axiomatization and computability of a variant of iteration-free PDL with fork
- A Leibnizian Logic of Possible Laws
- A categorical approach to coalgebraic fixpoint logic
- Action emulation
- Dynamic Łukasiewicz logic and dynamic MV-algebras
- Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\)
- A canonical model construction for iteration-free PDL with intersection
- PDL with data constants
This page was built for publication: An elementary proof of the completeness of PDL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1147690)
