Translating Inaccessible Worlds Logic into Bimodal Logic. - Olivier Gasquet; Andreas Herzig (ECSQARU, 1993)

Translation-Based Deduction Methods for Modal Logics. - Olivier Gasquet; Andreas Herzig (IPMU, 1994)

A New Incompleteness Result in Kripke Semantics. - Olivier Gasquet (Fundam. Informaticae, 1995)

Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics. - Olivier Gasquet (Log. J. IGPL, 1996)

Modal Tableaux for Reasoning About Actions and Plans. - Marcos A. Castilho; Olivier Gasquet; Andreas Herzig (ECP, 1997)

Modal Tableaux with Propagation Rules and Structural Rules. - Marcos A. Castilho; Luis Fariñas del Cerro; Olivier Gasquet; Andreas Herzig (Fundam. Informaticae, 1997)

Modal tableaux based on graph-rules. - Marcos A. Castilho; Luis Fariñas del Cerro; Olivier Gasquet; Andreas Herzig (RelMiCS, 1998)

Predicate Modal Logics Do Not Mix Very Well. - Olivier Gasquet (Math. Log. Q., 1998)

Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. - Luis Fariñas del Cerro; Olivier Gasquet (Fundam. Informaticae, 1999)

Formalizing Action and Change in Modal Logic I: the frame problem. - Marcos A. Castilho; Olivier Gasquet; Andreas Herzig (J. Log. Comput., 1999)

Lotrec : The Generic Tableau Prover for Modal and Description Logics. - Luis Fariñas del Cerro; David Fauthoux; Olivier Gasquet; Andreas Herzig; Dominique Longin; Fabio Massacci (IJCAR, 2001)

Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational Model. - Karine Duvignau; Olivier Gasquet; Bruno Gaume; Marie-Dominique Gineste (FLAIRS, 2002)

A General Framework for Pattern-Driven Modal Tableaux. - Luis Fariñas del Cerro; Olivier Gasquet (Log. J. IGPL, 2002)

Forms of meaning, meaning of forms. - Bruno Gaume; Karine Duvignau; Olivier Gasquet; Marie-Dominique Gineste (J. Exp. Theor. Artif. Intell., 2002)

Modal Tableaux: Completeness vs. Termination. - Luis Fariñas del Cerro; Olivier Gasquet; Andreas Herzig; Mohamad Sahade (We Will Show Them! (1), 2005)

LoTREC: Logical Tableaux Research Engineering Companion. - Olivier Gasquet; Andreas Herzig; Dominique Longin; Mohamad Sahade (TABLEAUX, 2005)

Terminating modal tableaux with simple completeness proof. - Olivier Gasquet; Andreas Herzig; Mohamad Sahade (Advances in Modal Logic, 2006)

On the Influence of Confluence in Modal Logics. - Olivier Gasquet (Fundam. Informaticae, 2006)

Tableaux with Dynamic Filtration for Layered Modal Logics. - Olivier Gasquet; Bilal Said (TABLEAUX, 2007)

Knowledge in lineland. - Olivier Gasquet; François Schwarzentruber (AAMAS, 2010)

Concrete Epistemic Modal Logic: Flatland. - Olivier Gasquet; François Schwarzentruber (TICTTL, 2011)

Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. - Olivier Gasquet; François Schwarzentruber; Martin Strecker (TICTTL, 2011)

Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. - Olivier Gasquet; François Schwarzentruber; Martin Strecker (TICTTL, 2011)

Agents that look at one another. - Philippe Balbiani; Olivier Gasquet; François Schwarzentruber (Log. J. IGPL, 2013)

Kripke's Worlds - An Introduction to Modal Logics via Tableaux. - Olivier Gasquet; Andreas Herzig; Bilal Said; François Schwarzentruber (Birkhäuser, 2014)

Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. - Olivier Gasquet; Valentin Goranko; François Schwarzentruber (AAMAS, 2014)

Twist your logic with TouIST. - Khaled Skander Ben Slimane; Alexis Comte; Olivier Gasquet; Abdelwahab Heba; Olivier Lezaud; Frederic Maris; Maël Valais (CoRR, 2015)

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. - Olivier Gasquet; Valentin Goranko; François Schwarzentruber (Auton. Agents Multi Agent Syst., 2016)

Compact Tree Encodings for Planning as QBF. - Olivier Gasquet; Dominique Longin; Frederic Maris; Pierre Régnier; Maël Valais (Inteligencia Artif., 2018)

TouIST: a Friendly Language for Propositional Logic and More. - Jorge Fernandez 001; Olivier Gasquet; Andreas Herzig; Dominique Longin; Emiliano Lorini; Frédéric Maris; Pierre Régnier (IJCAI, 2020)