Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection, Fundam. Inf, vol.56, pp.211-242, 2003. ,
About the axiomatization and the computability of a variant of iteration-free PDL with fork, 2017. ,
Iteration-free PDL with intersection: a complete axiomatization, Fundam. Inf, vol.45, pp.173-194, 2001. ,
PDL with intersection of programs: a complete axiomatization, J. Appl. Non-Classical Logics, vol.13, pp.231-276, 2003. ,
Propositional dynamic logic with storing, recovering and parallel composition, Electron. Notes Theor. Comput. Sci, vol.269, pp.95-107, 2011. ,
, Modal Logic, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100503
Nondeterministic propositional dynamic logic with intersection is decidable, SCT 1984, vol.208, pp.34-53, 1985. ,
A brief survey of frames for the Lambek calculus, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol.38, pp.179-187, 1992. ,
DAL-a logic for data analysis, Theoret. Comput. Sci, vol.36, pp.251-264, 1985. ,
Propositional dynamic logic of regular programs, J. Comput. Syst. Sci, vol.18, pp.194-211, 1979. ,
Fork Algebras in Algebra, Logic and Computer Science. World Scientific, 2002. ,
Fork algebras in algebra, logic and computer science, Fund. Inf, vol.32, pp.1-25, 1997. ,
Fork algebras: past, present and future, J. Relat. Methods Comput. Sci, vol.1, pp.181-216, 2004. ,
A note on Boolean modal logic, Mathematical Logic, pp.299-309, 1990. ,
, , 2000.
An elementary proof of the completeness of PDL, Theoret. Comput. Sci, vol.14, pp.113-118, 1981. ,
Complete calculus for conjugated arrow logic, pp.125-139, 1996. ,
PAL-propositional algorithmic logic, vol.4, pp.675-760, 1981. ,
On the calculus of relations, J. Symb. Logic, vol.6, pp.73-89, 1941. ,