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
541987
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
49*2008
The logic MPLω
CPJ Koymans, GR Renardel de Lavalette
Algebraic Methods: Theory, tools and applications, 247-282, 1989
381989
Reasoning about dynamic features in specification languages
R Groenboom, GR Renardel de Lavalette
Semantics of Specification Languages (SoSL), 340-355, 1994
351994
A Formalisation of Evolving Algebras
R Groenboom, G Renardel de Lavalette
Proc. Accolade95, 17-28, 1995
341995
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
311992
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
Changing modalities
GR Renardel de Lavalette
Journal of Logic and Computation 14 (2), 251-275, 2004
222004
Intuitionistic implication without disjunction
GR Renardel de Lavalette, A Hendriks, DHJ de Jongh
Journal of Logic and Computation 22 (3), 375-404, 2012
212012
Interpolation in fragments of intuitionistic propositional logic
GR Renardel de Lavalette
The Journal of symbolic logic 54 (04), 1419-1430, 1989
211989
Strong completeness for propositional dynamic logic
GR Renardel de Lavalette, BP Kooi, R Verbrugge
AiML2002—Advances in Modal Logic (conference proceedings), 377-393, 2002
182002
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
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