Gerard R. Renardel de Lavalette

Address

Tel: +31 50 3637128
Fax: +31 50 3633800
Email: grl@cs.rug.nl

Here you can find visiting information and maps.

• course on Automated Reasoning 05/06

• course on Discrete Structures 05/06 (in Dutch)

• couse on Algorithms and Data structutes 05/06 (in Dutch)

• seminar Fundamental Computing Science 04/05

• Research Projects Intelligent Systems (in Dutch)

• Grolog homepage (in Dutch)

• Logic in the Netherlands (OZSL)

• Gerard R. Renardel de Lavalette, Interpolation in equational logic via abstract derivations, 2005. Updated version of my contribution to Structures and Deduction - the Quest for the Essence of Proofs, proceedings of the ICALP 2005 workshop Structures and Deduction, edited by Paola Bruscoli, Francois Lamarche and Charles Stewart.

• Gerard R. Renardel de Lavalette, Changing modalities, Journal of Logic and Computation 14(2), 2004, p. 253 -- 278.

• Gerard R. Renardel de Lavalette, The anatomy of epistemic actions, manuscript, 2003.

• Gerard Renardel de Lavalette, Barteld Kooi, Rineke Verbrugge, Strong completeness for propositional dynamic logic, in: AiML2002 --- Advances in Modal Logic (conference proceedings), (Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, eds.), Institut de Recherche en Informatique de Toulouse IRIT (2002) 377 -- 393

• Gerard R. Renardel de Lavalette, Hans van Ditmarsch, Epistemic actions and minimal models, in: AiML2002 --- Advances in Modal Logic (conference proceedings), (Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, eds.), Institut de Recherche en Informatique de Toulouse IRIT (2002) 77 -- 90

• Gerard R. Renardel de Lavalette, Wim H. Hesselink, Reduction steps in partitions, in: Liber Amicorum Jaco de Bakker, (Frank de Boer, Marlin van der Heijden, Paul Klint, Jan Rutten, eds.), Amsterdam, Centrum voor Wiskunde en Informatica (2002) 175 - 178

• Sjoerd D. Zwart, Gerard R. Renardel de Lavalette, Verisimilitude meets epistemic entrenchment, in: Abstracts of the Karl Popper 2002 Centenary Congress, Vienna, 2002

• Gerard R. Renardel de Lavalette, A logic of modification and creation, in: Logical Perspectives on Language and Information (Cleo Condoravdi and Gerard R. Renardel de Lavalette, eds), CSLI publications (Stanford, USA), 2001, ISBN 1 57586 284 0, p. 197 -- 219

• Gerard R. Renardel de Lavalette, Memories and Knowledge Games, in: JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday (J. Gerbrandy, M. Marx, M. de Rijke and Y. Venema, eds.), Amsterdam University Press, Vossiuspers, Amsterdam, 1999, ISBN 90 5629 104 1

• Gerard R. Renardel de Lavalette, Het erfgoed van Richard Montague, (bespreking van het Handbook of Logic and Language) in: Algemeen Tijdschrift voor Wijsbegeerte (themanummer Logische dynamiek) 90, januari 1998, 71 - 78

• Gerard R. Renardel de Lavalette, Some remarks about verisimilitude, manuscript, 1998.

• G.R. Renardel de Lavalette, R. Groenboom, E. Rotterdam, F. van Harmelen, A. ten Teije, F. de Geus, Formalisation for decision support in anaesthesiology, Artificial Intelligence in Medicine 11 (1997) 189 - 214.

• Gerard R. Renardel de Lavalette, K45 and dynamic logic, draft, 1997.

• Gerard R. Renardel de Lavalette, Basic dynamic logic, draft, 1997.

• Gerard R. Renardel de Lavalette, A variant of Quantified Dynamic Logic (extended abstract), manuscript, 1996.

• Gerard R. Renardel de Lavalette, Update logica: enige observaties, draft, 1996.

• R. Groenboom and Gerard R. Renardel de Lavalette, Formalizing Anesthesiology, report on the FAN-project (preliminary version). Note Department of Computing Science, CSN 9601, 1996.

• Rix Groenboom, Erik Saaman, Ernest Rotterdam. and Gerard Renardel de Lavalette, Formalization Anesthesia, a case study in formal specification In proceedings of: Formal Methods Europe 1996. LNCS 1051, pp. 120 - 139.

• Rix Groenboom and Gerard R. Renardel de Lavalette, A Formalization of Evolving Algebra. In Proceedings of Accolade 1995, Dutch Graduate school in Logic, Amsterdam, 1995, 17 - 28.

• Gerard R. Renardel de Lavalette, The static part of the design language COLD-K, in: Semantics of Specification Languages (D.J. Andrews, J.F. Groote, C.A. Middelburg, eds.), Springer-Verlag (1994) 51 - 82

• Gerard R. Renardel de Lavalette, From implicit via inductive to explicit definitions, in: Semantics of Specification Languages (D.J. Andrews, J.F. Groote, C.A. Middelburg, eds.), Springer-Verlag (1994) 304 - 314

• Rix Groenboom and Gerard R. Renardel de Lavalette, Reasoning about Dynamic Features in Specification Languages - A Modal view on Creation and Modification, in: Semantics of Specification Languages (D.J.\ Andrews, J.F.\ Groote, C.A.\ Middelburg, eds.), Springer-Verlag (1994) 340 - 355

• Gerard R. Renardel de Lavalette, Precisie, computers en logica, oratie, Rijksuniversiteit Groningen, 1992

• Gerard R. Renardel de Lavalette, Logical Semantics of Modularisation, in: Computer Science Logic (E. Boerger, G. Jaeger, H. Kleine Buening, M.M. Richter, eds.), Springer Lecture Notes in Computer Science 626 (1992) 306 - 315