Gerard R. Renardel de Lavalette

Available identifiers

zbMath Open renardel-de-lavalette.gerard-rMaRDI QIDQ753808

List of research outcomes

Publication	Date of Publication	Type
Query optimization using rewrite rules	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4619876	2019-02-07	Paper
Interpolation in propositional Horn logic	2019-01-31	Paper
Belief revision and verisimilitude based on preference and truth orderings	2012-11-15	Paper
Finite and infinite implementation of transition systems	2012-11-08	Paper
Intuitionistic implication without disjunction	2012-06-20	Paper
Interpolation in computing science: The semantics of modularization	2009-06-16	Paper
Erratum to: ``Strong completeness and limited canonicity for PDL	2009-05-04	Paper
Strong completeness and limited canonicity for PDL	2009-03-24	Paper
Hybrid Logics with Infinitary Proof Systems	2006-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4681376	2005-06-23	Paper
Changing Modalities	2004-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4312489	1999-07-29	Paper
Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4312491	1994-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4202952	1993-09-06	Paper
Strictness analysis via abstract interpretation for recursively defined types	1992-09-27	Paper
Computations in fragments of intuitionistic propositional logic	1992-06-27	Paper
Extended bar induction in applicative theories	1990-01-01	Paper
Interpolation in fragments of intuitionistic propositional logic	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4729312	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3710525	1985-01-01	Paper
Descriptions in mathematical logic	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3924162	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gerard R. Renardel de Lavalette