home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by ir. J. Krabbendam

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

ir. J. Krabbendam

• contact information
• former member of group guests and others

some publications

Krabbendam, J. & Meyer, J-J.Ch. (2000). Release Logics for Temporalizing Dynamic Logic, Orthogonalising Modal Logics. In M. Barringer, M. Fisher & Gabbay & D. Gough (Eds.), Advances in Temporal Logic (pp. 21-45). Boston/Dordrecht: Kluwer.

Krabbendam, J. & Meyer, J-J.Ch. (1999). Contextual Deontic Logics. In P. McNamara & H. Prakken (Eds.), Norms, Logics and Information Systems (pp. 347-362). Amsterdam: IOS Press.

Krabbendam, J. & Meyer, J-J.Ch. (1998). Contextual deontic logics. In P. McNamara & H. Prakken (Eds.), Proceedings of Deontic Logic in Computer Science (pp. 271-290). Bologna, Italy: University of Bologna.

Krabbendam, J. & Meyer, J-J.Ch. (1997). Release Logics for Temporalizing Dynamic Logic. In H. Barringer, M. Fischer, D. Gabbay & G. Gough (Eds.), Proceedings 2nd International Conference on Temporal Logic (ICTL '97) (pp. 19-42). Manchester, England: University of Manchester.