René Lavendhomme (lavendhomme)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Lavendhomme, René and Lucas, Thierry. 1997. “From Logical Omniscience to Partial Logical Competence.” in Epistemic Logic and the Theory of Games and Decisions, edited by Michael O. L. Bacharach, L. A. Gérard-Varet, Philippe Mongin, and Hyun Song Shin, pp. 107–128. Dordrecht: Kluwer Academic Publishers.
Lavendhomme, René and Lucas, Thierry. 2000. “Sequent Calculi and Decision Procedures for Weak Modal Systems.” Studia Logica: An International Journal for Symbolic Logic 66(1): 121–145.
Lucas, Thierry and Lavendhomme, René. 1986. “Complétude de certaines logiques bimodales.” Logique et Analyse 29(116): 391–407.