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.

Batens, Diderik. 1989. “Leo Apostel On Dialectical Logic” Fernand Vandamme and Pinxten, Rik. The Philosophy of Leo Apostel, vol. 2: Descriptive and Critical Essays: 24–55.

D'Hanis, Isabel. 2002. “A Logical Approach To The Analysis Of Metaphors” Lorenzo Magnani, Nersessian, Nancy, and Pizzi, Claudio. Logical and Computational Aspects of Model-Based Reasoning 25: 21–37.

Urbaniak, Rafal, and Pawel Pawlowski. In Press. “Logics Of (Formal And Informal) Provability” Sven Ove Hansson and Hendricks, Vincent F. Handbook of Formal Philosophy.

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

Pawlowski, Pawel, and Rafal Urbaniak. In Press. “Many-Valued Logic Of Informal Provability: A Non-Deterministic Strategy”. The Review of Symbolic Logic.

Batens, Diderik. 1985. “Meaning, Acceptance, And Dialectics” J. C Pitt. Change and Progress in Modern Science: 333–360.

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

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

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

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. 2011. Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy A Multi-Modal Type System And Its Procedural Semantics For Safe Distributed Programming.

Batens, Diderik. 2006. “Narrowing Down Suspicion In Inconsistent Premise Sets” Jacek Malinowski and Pietruszczak, Andrzej. Essays in Logic and Ontology. 91: 185–209.

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. “On The Necessity Of (Sometimes) Being Synthetic. Comment On Poggiolesi.” Patrick Allo and Primiero, Giuseppe. Third Workshop in the Philosophy of Information: 63-68.

Pawlowski, Pawel. Submitted. “Non-Deterministic Logic Of Informal Provability Has No Finite Characterization”.

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ë.

De Mey, Tim. 2008. “Ockhams Theorie Van Evidente Kennis En Het Epistemologisch Externalisme” Danny Praet. Us and Them. Essays over filosofie, politiek, religie en cultuur van de Antieke Oudheid tot Islam in Europa ter ere van Herman De Ley: 227–239.

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

Batens, Diderik. 2017. “Paradoxen In De Vrijmetselarij En De Relatie Met Waarden” Rik Pinxten and Swings, Jean. Kappen aan de ruwe steen: 319–336.

Urbaniak, Rafal, and Pawel Pawlowski. Submitted. “Paradoxes Of Informal Provability And Many-Valued Indeterministic Provability Logic”.

Pawlowski, Pawel. 2017. “Philosophical Aspects Of An Alleged Connection Between The Axiom Of Choice And Predicting The Future” Rafal Urbaniak and Gillman, Payette. Applications of Formal Philosophy The Road Less Travelled: 213-220.

Primiero, Giuseppe. 2009. “Prioritized Dynamic Retraction Function On Non-Monotonic Information Updates” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. The Many Sides of Logic: 443-463.

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.

Pawlowski, Pawel. In Press. “Proof Systems For Bat Consequence Relations ”. The Logic Journal of IGPL.