Searching for authors named "Olivier Gasquet" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
From Classical to Normal Modal Logics
- …From Classical to Normal Modal Logics ? Olivier Gasquet and Andreas Herzig IRIT, Universit'e Paul…
- Cited by 14 (1 self) – Add To MetaCart
-
Lotrec: Logical tableaux research engineering companion
- …LoTREC: Logical Tableaux Research Engineering Companion Olivier Gasquet, Andreas Herzig, Dominique…
- Cited by 6 (0 self) – Add To MetaCart
-
Coalition games over Kripke semantics: expressiveness and complexity
- … Gasquet, Andreas Herzig, François Schwarzentruber and Nicolas Troquard abstract. We show that Pauly…
- Add To MetaCart
-
Solving the Frame and Ramification Problem With Modal Logic Plus Dependence
- … and Olivier Gasquet and Andreas Herzig Universit'e Paul Sabatier --- IRIT --- Applied Logic Group http…
- Add To MetaCart
-
Modal Tableaux for Reasoning About Actions and Plans
- …Modal Tableaux for Reasoning About Actions and Plans Marcos A. Castilho ? , Olivier Gasquet…
- Cited by 15 (5 self) – Add To MetaCart
-
Formalizing action and change in modal logic I: the frame problem
- … Gasquet Andreas Herzig Universit'e Paul Sabatier --- IRIT --- Applied Logic Group http…
- Cited by 48 (15 self) – Add To MetaCart
-
A Customized Tableau Method for Reasoning About Actions and Plans in Modal Logic
- …. Castilho 1 Luis Fari~nas del Cerro Olivier Gasquet Andreas Herzig Universit'e Paul Sabatier --- IRIT…
- Add To MetaCart
-
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
- … Cerro Olivier Gasquet 1 Introduction and background In [Castilho et al. 1997], a general…
- Cited by 7 (2 self) – Add To MetaCart
-
Modal Tableaux with Propagation Rules and Structural Rules
- … and Structural Rules Marcos A. Castilho Luis Fari~nas del Cerro y Olivier Gasquet y Andreas Herzig y…
- Cited by 16 (6 self) – Add To MetaCart
Showing 1 through 9.
