Dagmar Provijn (provijn)

Contributi a Philosophie.ch

Bibliography

Batens, Diderik, Meheus, Joke, Provijn, Dagmar and Verhoeven, Liza. 2003. “Some Adaptive Logics for Diagnosis.” Logic and Logical Philosophy 11/12: 39–65.
Batens, Diderik and Provijn, Dagmar. 2001. “Pushing the Search Paths in the Proofs. A Study in Proof Heuristics.” Logique et Analyse 44(173–175): 113–134.
Provijn, Dagmar and Meheus, Joke. 2004. “Direct Dynamic Proofs for Classical Compatibility.” Logique et Analyse 47(185–188): 305–317.
Weber, Erik and Provijn, Dagmar. 1999. “A Formal Analysis of Diagnosis and Diagnostic Reasoning.” Logique et Analyse 42(165–166): 161–180.