Concepedia

Gerard R. Renardel de Lavalette

GR

9

Publications

127

Citations

9

H-Index

1981

Active since

Affiliations

University of Amsterdam(Current)

Utrecht University

University of Groningen

Gerard R. Renardel de Lavalette is an author at University of Amsterdam specializing in automated reasoning, engineering, and semantics.

Top concepts

Automated ReasoningEngineeringSemanticsFormal MethodsComputer ScienceLinguisticsVerificationFormal VerificationSystems EngineeringTheory Of Computing

Publications per year

1981–2010

9

Publications

9

Changing Modalities

Gerard R. Renardel de Lavalette · Journal of Logic and Computation · 2004 · 19 citations

Theory Of Computing, Computational Logic, April 2004 +11

Intuitionistic implication without disjunction

Gerard R. Renardel de Lavalette, A. Hendriks, D.H.J. de Jongh · Journal of Logic and Computation · 2010 · 17 citations · Full text

Computations in fragments of intuitionistic propositional logic

Dick de Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette · Journal of Automated Reasoning · 1991 · 17 citations · Full text

Intuitionistic Logic, Non-classical Logic, Engineering +5

Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems

Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette · Data & Knowledge Engineering · 1998 · 16 citations

Knowledge Representation, Engineering, Dynamic Epistemic Logic +12

NNIL, A study in intuitionistic propositional logic

Albert Visser, Johan van Benthem, Dick de Jongh et al. · Utrecht University Repository (Utrecht University) · 1995 · 15 citations · Full text

Intuitionistic Logic, Non-classical Logic, Engineering +10

Rows per page

1–5 of 9