Olivier Gasquet

From MaRDI portal
Person:371437

Available identifiers

zbMath Open gasquet.olivierMaRDI QIDQ371437

List of research outcomes





PublicationDate of PublicationType
Kripke's worlds. An introduction to modal logics via tableaux2013-10-09Paper
Agents that look at one another2013-06-11Paper
https://portal.mardi4nfdi.de/entity/Q30072602011-06-21Paper
https://portal.mardi4nfdi.de/entity/Q30038232011-05-31Paper
Terminating modal tableaux with simple completeness proof2008-07-01Paper
Tableaux with Dynamic Filtration for Layered Modal Logics2008-01-04Paper
On the influence of confluence in modal logics2006-07-26Paper
Automated Reasoning with Analytic Tableaux and Related Methods2006-07-07Paper
Forms of meaning, meaning of forms2003-03-17Paper
A general framework for pattern-driven modal tableaux2002-11-13Paper
Minimal structures for modal tableaux: Some examples2002-11-12Paper
https://portal.mardi4nfdi.de/entity/Q45396312002-07-10Paper
https://portal.mardi4nfdi.de/entity/Q49479992000-05-23Paper
Formalizing action and change in modal logic I: the frame problem2000-01-30Paper
https://portal.mardi4nfdi.de/entity/Q42354321999-11-23Paper
Predicate Modal Logics Do Not Mix Very Well1998-06-24Paper
https://portal.mardi4nfdi.de/entity/Q56888151997-08-04Paper
https://portal.mardi4nfdi.de/entity/Q48936741997-06-26Paper
https://portal.mardi4nfdi.de/entity/Q48669821996-06-19Paper
https://portal.mardi4nfdi.de/entity/Q48533211995-10-29Paper

Research outcomes over time

This page was built for person: Olivier Gasquet

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:371437&oldid=7506959"
Powered by MediaWiki