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
561987
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
50*2008
Reasoning about dynamic features in specification languages
R Groenboom, GR Renardel de Lavalette
Semantics of Specification Languages (SoSL), 340-355, 1994
371994
The logic MPLω
CPJ Koymans, GR Renardel de Lavalette
Algebraic Methods: Theory, tools and applications, 247-282, 1989
371989
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
361991
A Formalisation of Evolving Algebras
R Groenboom, G Renardel de Lavalette
Proc. Accolade95, 17-28, 1995
331995
Strictness analysis via abstract interpretation for recursively defined types
GR Renardel de Lavalette
Information and Computation 99 (2), 154-177, 1992
331992
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
281998
Changing modalities
GR Renardel de Lavalette
Journal of Logic and Computation 14 (2), 251-275, 2004
232004
A survey of the design language COLD
LMG Feijs, HBM Jonkers, JH Obbink, CPJ Koymans, GRR de Lavalette, ...
ESPRIT 86, 631-644, 1987
231987
Intuitionistic implication without disjunction
GR Renardel de Lavalette, A Hendriks, DHJ de Jongh
Journal of Logic and Computation 22 (3), 375-404, 2012
222012
Interpolation in fragments of intuitionistic propositional logic
GR Renardel de Lavalette
The Journal of symbolic logic 54 (04), 1419-1430, 1989
221989
Modularisation, parameterisation, interpolation
GRR de Lavalette
Department of Philosophy, University of Utrecht, 1988
181988
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 and limited canonicity for PDL
GR de Lavalette, B Kooi, R Verbrugge
Journal of logic, language and information 17 (1), 69-87, 2008
162008
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
162008
Strong completeness and limited canonicity for PDL and similar modal logics
G Renardel de Lavalette, B Kooi, R Verbrugge
Preprint, 2004
16*2004
The interpolation theorem in fragments of logics
GR Renardel de Lavalette
Indagationes Mathematicae 84 (1), 71-86, 1981
16*1981
A logic of modification and creation
GR Renardel de Lavalette
Logical Perspectives on Language and Information. CSLI publications …, 2001
152001
Extended bar induction in applicative theories
GR Renardel de Lavalette
Annals of Pure and Applied Logic 50 (2), 139-189, 1990
151990
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20