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. 2008. A Model For Processing Updates With Inconsistent Information On Propositional Databases. 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. 2013. “A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.

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

De Mol, Liesbeth, and Giuseppe Primiero. 2012. “Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.

Allo, Patrick, and Giuseppe Primiero. 2011. “Report 3Rd Workshop In The Philosophy Of Information”. The Reasoner 1: 6-7.

Primiero, Giuseppe. 2009. “Proceeding In Abstraction: From Concepts To Types And The Recent Perspective On Information”. History and Philosophy of Logic 30: 257–282. http://dx.doi.org/10.1080/01445340902872630.

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

Primiero, Giuseppe, and Mariarosaria Taddeo. 2012. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.

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

Primiero, Giuseppe, and Joke Meheus. 2008. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.

Pouliasis, Konstantinos, and Giuseppe Primiero. 2014. “J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.

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. 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. 2012. “A Contextual Type Theory With Judgemental Modalities For Reasoning From Open Assumptions”. Logique et Analyse 55: 579–600.

De Mol, Liesbeth. 2012. “Reasoning With Computer-Assisted Experiments In Mathematics” Giuseppe Primiero and Allo, Patrick. Third Workshop in the Philosophy of Information: 80-92.

Martens, Liesbeth, and Giuseppe Primiero. 2012. “A Formal Approach To Vague Expressions With Indexicals”. Logic and Engineering of Natural Language Semantics 9 (LENLS 9-2012): 37-51.

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. 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. 2010. “A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.”. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.

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. 2010. “Constructive Contextual Modal Judgments For Reasoning From Open Assumptions”. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, F Ferreira, Guerra, H, Mayordomo, E, and Rasga, J. Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.

Primiero, Giuseppe. 2007. “On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. Filosofia Publisher.

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