Olivier Gasquet

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
PSPACE-completeness of bimodal transitive weak-density logic Logic Journal of the IGPL	2026-02-19	Paper
Kripke's worlds. An introduction to modal logics via tableaux Studies in Universal Logic	2013-10-09	Paper
Agents that look at one another Logic Journal of the IGPL	2013-06-11	Paper
Modal tableaux: completeness vs. termination	2011-06-21	Paper
Coalition games over Kripke semantics: expressiveness and complexity	2011-05-31	Paper
Terminating modal tableaux with simple completeness proof	2008-07-01	Paper
Tableaux with Dynamic Filtration for Layered Modal Logics Lecture Notes in Computer Science	2008-01-04	Paper
On the influence of confluence in modal logics	2006-07-26	Paper
Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science	2006-07-07	Paper
Forms of meaning, meaning of forms Journal of Experimental & Theoretical Artificial Intelligence	2003-03-17	Paper
A general framework for pattern-driven modal tableaux Logic Journal of the IGPL	2002-11-13	Paper
Minimal structures for modal tableaux: Some examples Logic and Logical Philosophy	2002-11-12	Paper
scientific article; zbMATH DE number 1765691 (Why is no real title available?)	2002-07-10	Paper
scientific article; zbMATH DE number 1435945 (Why is no real title available?)	2000-05-23	Paper
Formalizing action and change in modal logic I: the frame problem Journal Of Logic And Computation	2000-01-30	Paper
scientific article; zbMATH DE number 1267561 (Why is no real title available?)	1999-11-23	Paper
Predicate Modal Logics Do Not Mix Very Well Mathematical Logic Quarterly	1998-06-24	Paper
scientific article; zbMATH DE number 970636 (Why is no real title available?)	1997-08-04	Paper
scientific article; zbMATH DE number 928021 (Why is no real title available?)	1997-06-26	Paper
scientific article; zbMATH DE number 847937 (Why is no real title available?)	1996-06-19	Paper
scientific article; zbMATH DE number 810109 (Why is no real title available?)	1995-10-29	Paper

Research outcomes over time

This page was built for person: Olivier Gasquet