Provijn, Dagmar. 2003. “Direct Dynamic Proofs For Compatibility.” Claudio Delrieux and Legris, Javier. Computer modeling of scientific reasoning: 179–187.

Provijn, Dagmar. 2002. “Is Er Een Diepe Kloof Tussen De Heuristiek En De Inferentieregels Van Een Bewijstheorie? Een Poging Tot Integratie.”. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.

Provijn, Dagmar. 2009. “Strategies: What's In A Name?” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. The Many Sides of Logic 21: 287–306.

Provijn, Dagmar. 2005. “Prospectieve Dynamiek. Filosofische En Technische Onderbouwing Van Doelgerichte Bewijzen En Bewijsheuristieken”.

Provijn, Dagmar. 2002. “How To Obtain Elegant Fitch-Style Proofs From Goal Directed Ones.”. In Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, H. Blockeel and Denecker, M.

Provijn, Dagmar. 2012. “The Generation Of Abductive Explanations From Inconsistent Theories”. Logic Journal of the IGPL 20: 400–416.

Provijn, Dagmar. 2014. “Bloody Analogical Reasoning” Erik Weber, Wouters, Dietlinde, and Meheus, Joke. Logic, Reasoning, and Rationality: 217–232.

Primiero, Giuseppe. 2009. “A Note On Constructive Modalities For Information”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. Brussel: Koninklijke Vlaamse Academie van België.

Primiero, Giuseppe. 2013. “Offline And Online Data: On Upgrading Functional Information To Knowledge”. Philosophical Studies 164: 371–392.

Primiero, Giuseppe. 2007. “A Modal Language For Contextual Computations”.

Primiero, Giuseppe. 2012. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” Shahid Rahman, Primiero, Giuseppe, and Marion, Mathieu. The realism-antirealism debate in the age of alternative logics: 191–212.

Primiero, Giuseppe. 2011. Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy A Multi-Modal Type System And Its Procedural Semantics For Safe Distributed Programming.

Primiero, Giuseppe, and Joke Meheus. 2008. “Adaptive Arbitration By Variant Counting On Commutative Bases With Weights”. In Fusion 2008: Proceedings of the 11th International Conference on Information Fusion, Fusion 2008: Proceedings of the 11th International Conference on Information Fusion, IEEE.

Primiero, Giuseppe. 2006. “Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.

Primiero, Giuseppe. 2008. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.

Primiero, Giuseppe. 2009. “An Epistemic Logic For Becoming Informed”. Synthese (KRA Serie) 167: 363-389. http://dx.doi.org/10.1007/s11229-008-9413-8.

Primiero, Giuseppe. 2011. “On The Necessity Of (Sometimes) Being Synthetic. Comment On Poggiolesi.” Patrick Allo and Primiero, Giuseppe. Third Workshop in the Philosophy of Information: 63-68.

Primiero, Giuseppe. 2011. “Giovanni Sommaruga (Ed): Formal Theories Of Information: From Shannon To Semantic Information Theory And General Concepts Of Information (Review)”. Minds and Machines 21: 119-122.

Primiero, Giuseppe, and Joke Meheus. 2008. “Quasi-Merging And Pure-Arbitration On Information For The Family Of Adaptive Logics Adm”. In Proceedings of the Workshop on Logic and Intelligent Interaction, Proceedings of the Workshop on Logic and Intelligent Interaction, Johan van Benthem and Pacuit, Eric.

Primiero, Giuseppe. 2007. “Belief Merging Based On Adaptive Interaction”. In A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, Johan van Benthem, Shier, Ju, and Veltman, Frank. College Publications.

Primiero, Giuseppe. 2012. Preprint Series of the Isaac Newton Institute for Mathematical Sciences Intuitionistic Logic Of Proofs With Dependent Proof Terms.

Primiero, Giuseppe. 2009. “A Constructive Modal Semantics For Contextual Verification”. In Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, CEUR-Workshop Proceedings. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/.

Primiero, Giuseppe. 2009. “Epistemic Modalities” Giuseppe Primiero and Rahman, Shahid. Acts of Knowledge: History, Philosophy and Logic 9: 207–232.

Primiero, Giuseppe. 2012. “A Contextual Type Theory With Judgemental Modalities For Reasoning From Open Assumptions”. Logique et Analyse 55: 579–600.

Primiero, Giuseppe, and Laszlo Kosolosky. In Press. “The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.