Electronically available publications
- 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