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
Infinitary hybrid logic and the Lindelöf property	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

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