Olivier Gasquet (gasquet)

Contributions to Philosophie.ch

Bibliography

Castillo, Monique, Gasquet, Olivier and Herzig, Andreas. 1999. “Formalizing Action and Change in Modal Logic I: The Frame Problem.” Journal of Logic and Computation 9.
Gasquet, Olivier. 1993. “Automated Deduction for a Multi-Modal Logic of Time and Knowledge.” in Automated Deduction in Multiple-Valued Logics, edited by Reiner Hähnle, pp. 38–45. Oxford: Oxford University Press.
Gasquet, Olivier. 1995. “Optimization of Deduction for Multi-Modal Logics.” in Applied Logic: How, What, and Why? Logical Approaches to Natural Language, edited by László Pólos and Michael Masuch, pp. 61–77. Synthese Library n. 247. Dordrecht: Kluwer Academic Publishers.
Gasquet, Olivier, Herzig, Andreas and Sahade, Mohamad. 2006. “Terminating Modal Tableaux with Simple Completeness Proof.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 167–186. London: King’s College Publications.