Gerard Renardel de Lavalette
Gerard Renardel de Lavalette
hoogleraar Informatica, Rijksuniversiteit Groningen
Geverifieerd e-mailadres voor rug.nl
Titel
Geciteerd door
Geciteerd door
Jaar
Formal definition of the design language COLD-K
LMG Feijs, HBM Jonkers, CPJ Koymans, GR Renardel de Lavalette
METEOR Report t7/PRLE/7, Philips Research Lab., Eindhoven, 1987
531987
NNIL, a study in intuitionistic propositional logic
A Visser, J van Benthem, D de Jongh, G Renardel de Lavalette
Logic Group Preprint Series 111, 2008
47*2008
The logic MPLω
CPJ Koymans, GR Renardel de Lavalette
Algebraic Methods: Theory, tools and applications, 247-282, 1989
371989
A Formalisation of Evolving Algebras
R Groenboom, G Renardel de Lavalette
Proc. Accolade95, 17-28, 1995
351995
Reasoning about dynamic features in specification languages
R Groenboom, GR Renardel de Lavalette
Semantics of Specification Languages (SoSL), 340-355, 1994
351994
Computations in fragments of intuitionistic propositional logic
D De Jongh, L Hendriks, GR Renardel de Lavalette
Journal of Automated Reasoning 7 (4), 537-561, 1991
341991
Strictness analysis via abstract interpretation for recursively defined types
GR Renardel de Lavalette
Information and Computation 99 (2), 154-177, 1992
301992
Modal change logic (MCL): Specifying the reasoning of knowledge-based systems
D Fensel, R Groenboom, GR Renardel de Lavalette
Data & knowledge engineering 26 (3), 243-269, 1998
271998
A survey of the design language COLD
LMG Feijs, HBM Jonkers, JH Obbink, CPJ Koymans, GRR de Lavalette, ...
ESPRIT 86, 631-644, 1987
241987
Interpolation in fragments of intuitionistic propositional logic
GR Renardel de Lavalette
The Journal of symbolic logic 54 (04), 1419-1430, 1989
221989
Changing modalities
GR Renardel de Lavalette
Journal of Logic and Computation 14 (2), 251-275, 2004
212004
Intuitionistic implication without disjunction
GR Renardel de Lavalette, A Hendriks, DHJ de Jongh
Journal of Logic and Computation 22 (3), 375-404, 2012
202012
Put your money where your mouth is: DIAL, a dialogical model for opinion dynamics
P Dykstra, C Elsenbroich, W Jager, G Renardel de Lavalette, ...
Journal of Artificial Societies and Social Simulation 16 (3), 4, 2013
172013
Strong completeness for propositional dynamic logic
GR Renardel de Lavalette, BP Kooi, R Verbrugge
AiML2002—Advances in Modal Logic (conference proceedings), 377-393, 2002
172002
Modularisation, parameterisation, interpolation
GRR de Lavalette
Department of Philosophy, University of Utrecht, 1988
171988
Strong completeness and limited canonicity for PDL and similar modal logics
G Renardel de Lavalette, B Kooi, R Verbrugge
Preprint, 2004
162004
The interpolation theorem in fragments of logics
GR Renardel de Lavalette
Indagationes Mathematicae 84 (1), 71-86, 1981
16*1981
Strong completeness and limited canonicity for PDL
GR De Lavalette, B Kooi, R Verbrugge
Journal of Logic, Language and Information 17 (1), 69-87, 2008
152008
Strong completeness and limited canonicity for PDL
G Renardel de Lavalette, B Kooi, R Verbrugge
Journal of Logic, Language and Information 17 (1), 69-87, 2008
152008
LPF and MPLω—a logical comparison of VDM SL and COLD-K
CA Middelburg, GR Renardel de Lavalette
VDM'91 Formal Software Development Methods, 279-308, 1991
151991
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20