Gerard R. Renardel de Lavalette

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Query optimization using rewrite rules Rewriting Techniques and Applications	2022-12-09	Paper
Infinitary hybrid logic and the Lindelöf property	2019-02-07	Paper
Interpolation in propositional Horn logic Journal Of Logic And Computation	2019-01-31	Paper
Belief revision and verisimilitude based on preference and truth orderings Erkenntnis	2012-11-15	Paper
Finite and infinite implementation of transition systems Theoretical Computer Science	2012-11-08	Paper
Intuitionistic implication without disjunction Journal of Logic and Computation	2012-06-20	Paper
Interpolation in computing science: The semantics of modularization Synthese	2009-06-16	Paper
Erratum to: ``Strong completeness and limited canonicity for PDL Journal of Logic, Language and Information	2009-05-04	Paper
Strong completeness and limited canonicity for PDL Journal of Logic, Language and Information	2009-03-24	Paper
Hybrid Logics with Infinitary Proof Systems Journal Of Logic And Computation	2006-07-03	Paper
scientific article; zbMATH DE number 2182499 (Why is no real title available?)	2005-06-23	Paper
Changing Modalities Journal Of Logic And Computation	2004-10-15	Paper
scientific article; zbMATH DE number 683367 (Why is no real title available?)	1999-07-29	Paper
Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems Data & Knowledge Engineering	1998-08-13	Paper
scientific article; zbMATH DE number 683369 (Why is no real title available?)	1994-11-29	Paper
scientific article; zbMATH DE number 408807 (Why is no real title available?)	1993-09-06	Paper
Strictness analysis via abstract interpretation for recursively defined types Information and Computation	1992-09-27	Paper
Computations in fragments of intuitionistic propositional logic Journal of Automated Reasoning	1992-06-27	Paper
Extended bar induction in applicative theories Annals of Pure and Applied Logic	1990-01-01	Paper
Interpolation in fragments of intuitionistic propositional logic Journal of Symbolic Logic	1989-01-01	Paper
scientific article; zbMATH DE number 4113942 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 3937175 (Why is no real title available?)	1985-01-01	Paper
Descriptions in mathematical logic Studia Logica	1984-01-01	Paper
scientific article; zbMATH DE number 3737622 (Why is no real title available?)	1981-01-01	Paper

Research outcomes over time

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