Publications

Export 60 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Title is D  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
Provijn, Dagmar. 2003. Direct Dynamic Proofs For Compatibility. Claudio Delrieux and Legris, Javier. Computer modeling of scientific reasoning: 179–187.
Batens, Diderik. 1986. Dialectical Dynamics Within Formal Logics. Logique et Analyse 29: 161–173.
Batens, Diderik. 2006. A Diagrammatic Proof Search Procedure As Part Of A Formal Approach To Problem Solving Lorenzo Magnani. Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic: 265–284.
Batens, Diderik. 1994. Determinisme En Indeterminisme Frans Verbeure and Apostel, Leo. Verwijdering of ontmoeting?: 183–202.
Van De Putte, Frederik. 2013. Default Assumptions And Selection Functions: A Generic Framework For Non-Monotonic Logics. Proceedings of MICAI2013, Lecture Notes in Artificial Intelligence 8264: 54-67.
Batens, Diderik. 1975. Deduction And Contextual Information. Communication and Cognition 8: 243–277.
Batens, Diderik. 1973. De Rol Van Ontische Factoren In De Kennisverzameling. Communication and Cognition 6: 51–69.
Wieland, Jan Willem. 2012. De Pyrronistische Zaak. Tijdschrift voor Filosofie 74: 523–532.

Pages