@article(Ba2003.6,
 author       = {P. Balbiani},
 year         = {2003},
 title        = {Eliminating unorthodox derivation rules in an axiom system for iteration-free {PDL} with intersection},
 journal      = {Fundam. Inform.},
 volume       = {56},
 pages        = {211--242},
)
@article(journals/jancl/BalbianiC98,
 author       = {P. Balbiani and L. Fari{\~n}as del Cerro},
 year         = {1998},
 title        = {Complete axiomatization of a relative modal logic with composition and intersection},
 journal      = {J.\ of Applied Non-Classical Logics},
 volume       = {8},
 number       = {4},
 pages        = {325--335},
 doi          = {10.1080/11663081.1998.10510949},
)
@article(DBLP:journals/fuin/BalbianiV01,
 author       = {P. Balbiani and D. Vakarelov},
 year         = {2001},
 title        = {Iteration-free {PDL} with Intersection: a Complete Axiomatization},
 journal      = {Fundam. Inform.},
 volume       = {45},
 number       = {3},
 pages        = {173--194},
)
@article(DBLP:journals/jancl/BalbianiV03,
 author       = {P. Balbiani and D. Vakarelov},
 year         = {2003},
 title        = {{PDL} with Intersection of Programs: {A} Complete Axiomatization},
 journal      = {J.\ of Applied Non-Classical Logics},
 volume       = {13},
 number       = {3-4},
 pages        = {231--276},
 doi          = {10.3166/jancl.13.231-276},
)
@article(Berman-Paterson/81,
 author       = {F. Berman and M. S. Paterson},
 year         = {1981},
 title        = {Propositional dynamic logic is weaker without tests},
 journal      = {TCS},
 volume       = {16},
 pages        = {321--328},
 doi          = {10.1016/0304-3975(81)90102-X},
)
@inproceedings(lncs208*34,
 author       = {S. Danecki},
 year         = {1984},
 title        = {Nondeterministic Propositional Dynamic Logic with intersection is decidable},
 booktitle    = {Proc.\ 5th Symp.\ on Computation Theory},
 series       = {LNCS},
 volume       = {208},
 publisher    = {Springer},
 pages        = {34--53},
 doi          = {10.1007/3-540-16066-3\_5},
)
@article(Fischer79,
 author       = {M. J. Fischer and R. E. Ladner},
 year         = {1979},
 title        = {Propositional Dynamic Logic of Regular Programs},
 journal      = {J.\ of Comp.\ and Syst.\ Sc.},
 volume       = {18},
 number       = {2},
 pages        = {194--211},
 doi          = {10.1016/0022-0000(79)90046-1},
)
@article(KozPar81,
 author       = {D. Kozen and R. Parikh},
 year         = {1981},
 title        = {An Elementary Proof of the Completeness of {PDL}},
 journal      = {TCS},
 volume       = {14},
 pages        = {113 -- 118},
 doi          = {10.1016/0304-3975(81)90019-0},
)
@article(langelutz-jsl05,
 author       = {M. Lange and C. Lutz},
 year         = {2005},
 title        = {2-{E}xpTime Lower Bounds for Propositional Dynamic Logics with Intersection},
 journal      = {J.\ of Symbolic Logic},
 volume       = {70},
 number       = {4},
 pages        = {1072--1086},
 doi          = {10.2178/jsl/1129642115},
)
@inproceedings(Parikh78,
 author       = {R. Parikh},
 year         = {1978},
 title        = {The completeness of propositional dynamic logic},
 booktitle    = {Proc.\ 7th Symp.\ on Math.\ Foundations of Computer Science, {FOCS'78}},
 series       = {LNCS},
 volume       = {64},
 publisher    = {Springer},
 pages        = {403--415},
 doi          = {10.1007/3-540-08921-7\_88},
)
@article(passy91ic,
 author       = {S. Passy and T. Tinchev},
 year         = {1991},
 title        = {An essay in combinatory dynamic logic},
 journal      = {Inform.\ and Comp.},
 volume       = {93},
 pages        = {263--332},
 doi          = {10.1016/0890-5401(91)90026-X},
)
@inproceedings(pratt-1976:semanconsi:inbook:109,
 author       = {V. R. Pratt},
 year         = {1976},
 title        = {Semantical Considerations on Floyd-Hoare Logic},
 booktitle    = {Proc.\ 17th Ann.\ Symp.\ on Foundations of Computer Science, {FOCS'76}},
 organization = {IEEE},
 pages        = {109--121},
 doi          = {10.1109/SFCS.1976.27},
)
@article(pratt-1980,
 author       = {V. R. Pratt},
 year         = {1980},
 title        = {A Near Optimal Method for Reasoning About Action},
 journal      = {J.\ of Comp.\ and Syst.\ Sc.},
 volume       = {2},
 pages        = {231--254},
 doi          = {10.1016/0022-0000(80)90061-6},
)
@article(journals/jolli/PrendingerS96,
 author       = {H. Prendinger and G. Schurz},
 year         = {1996},
 title        = {Reasoning about Action and Change. {A} Dynamic Logic Approach},
 journal      = {J.\ of Logic, Language and Information},
 volume       = {5},
 number       = {2},
 pages        = {209--245},
 doi          = {10.1007/BF00173701},
)
@article(IC::Streett1982,
 author       = {R. S. Streett},
 year         = {1982},
 title        = {Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable},
 journal      = {Inform.\ and Control},
 volume       = {54},
 number       = {1/2},
 pages        = {121--141},
 doi          = {10.1016/S0019-9958(82)91258-X},
)