P. Balbiani, Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection, Fundam. Inf, vol.56, pp.211-242, 2003.

P. Balbiani and J. Boudou, About the axiomatization and the computability of a variant of iteration-free PDL with fork, 2017.

P. Balbiani and D. Vakarelov, Iteration-free PDL with intersection: a complete axiomatization, Fundam. Inf, vol.45, pp.173-194, 2001.

P. Balbiani and D. Vakarelov, PDL with intersection of programs: a complete axiomatization, J. Appl. Non-Classical Logics, vol.13, pp.231-276, 2003.

M. Benevides, R. De-freitas, and P. Viana, Propositional dynamic logic with storing, recovering and parallel composition, Electron. Notes Theor. Comput. Sci, vol.269, pp.95-107, 2011.

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100503

R. Danecki, Nondeterministic propositional dynamic logic with intersection is decidable, SCT 1984, vol.208, pp.34-53, 1985.

K. Dosen, A brief survey of frames for the Lambek calculus, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol.38, pp.179-187, 1992.

L. F. Del-cerro and E. Or-lowska, DAL-a logic for data analysis, Theoret. Comput. Sci, vol.36, pp.251-264, 1985.

M. Fisher and R. Ladner, Propositional dynamic logic of regular programs, J. Comput. Syst. Sci, vol.18, pp.194-211, 1979.

M. Frias, Fork Algebras in Algebra, Logic and Computer Science. World Scientific, 2002.

M. Frias, G. Baum, and A. Haeberer, Fork algebras in algebra, logic and computer science, Fund. Inf, vol.32, pp.1-25, 1997.

M. Frias, P. Veloso, and G. Baum, Fork algebras: past, present and future, J. Relat. Methods Comput. Sci, vol.1, pp.181-216, 2004.

G. Gargov and S. Passy, A note on Boolean modal logic, Mathematical Logic, pp.299-309, 1990.

D. Harel, D. Kozen, and J. Tiuryn, , 2000.

D. Kozen and R. Parikh, An elementary proof of the completeness of PDL, Theoret. Comput. Sci, vol.14, pp.113-118, 1981.

S. Mikulás, Complete calculus for conjugated arrow logic, pp.125-139, 1996.

G. Mirkowska, PAL-propositional algorithmic logic, vol.4, pp.675-760, 1981.

A. Tarski, On the calculus of relations, J. Symb. Logic, vol.6, pp.73-89, 1941.