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. 2013. “A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.

Primiero, Giuseppe, and Bjørn Jespersen. 2009. “Two Type-Theoretical Approaches To Privative Modification” Kumiyo Nakakoji, Murakami, Yohei, and McCready, Eric. New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.

Priest, Graham, and Diderik Batens. 2008. “Graham Priest And Diderik Batens Interview Each Other”. The Reasoner 2: 2–4.

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.

Pieters, Eva. 2009. “"clear Moon, Frost Soon". An Introduction To The Study Of Meteorological Practices In The Low Countries (1550-1850)”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. {Koninklijke Vlaamse Academie van België.

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

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.

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

Pawlowski, Pawel. Submitted. “Tree-Like Proof Systems For Finitely-Many Valued Deterministic And Indeterministic Consequence Relations”.

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

Meheus, Joke. 1994. “Elk Wetenschapper Zijn Onderzoeksprogramma?” Jean Paul Van Bendegem and Kornelis, Gustaaf. Iedereen die niet denkt zoals ik, volge mij. Acta 16de Nederlands-Vlaamse Filosofiedag: 61–67.

Meheus, Joke. 1999. “Model-Based Reasoning In Creative Processes” Lorenzo Magnani, Nersessian, Nancy, and Thagard, Paul. Model-Based Reasoning in Scientific Discovery: 199–217.

Meheus, Joke. 1999. “Clausius' Discovery Of The First Two Laws Of Thermodynamics. A Paradigm Of Reasoning From Inconsistencies”. Philosophica 63: 89–117.

Meheus, Joke, and Dagmar Provijn. 2004. “Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.

Meheus, Joke. 2006. “An Adaptive Logic Based On Jaśkowski's Approach To Paraconsistency”. Journal of Philosophical Logic 35: 539–567.

Meheus, Joke. 1993. “De Rationaliteit Van Persoonlijke Inperkingen” Wim van Dooren and Hoff, Tineke. Aktueel Filosoferen: 33–38.

Meheus, Joke. 2004. “Adaptive Logics And The Integration Of Induction And Deduction” Friedrich Stadler. Induction and Deduction in the Sciences: 93–120.

Meheus, Joke. 1997. “Wetenschappelijke Ontdekking En Creativiteit. Een Poging Tot Theorievorming Op Basis Van Een Conceptuele, Methodologische En Logische Studie”.

Meheus, Joke. 2000. “An Extremely Rich Paraconsistent Logic And The Adaptive Logic Based On It” Diderik Batens, Mortensen, Chris, Priest, Graham, and Van Bendegem, Jean Paul. Frontiers of Paraconsistent Logic: 189–201.

Meheus, Joke, and Diderik Batens. 2006. “A Formal Logic For Abductive Reasoning”. Logic Journal of the IGPL 14: 221–236.

Meheus, Joke. 2002. “Inconsistencies In Scientific Discovery. Clausius's Remarkable Derivation Of Carnot's Theorem” Helghe Krach, Vanpaemel, Geert, and Marage, Pierre. History of Modern Physics. Acta of the XXth International Congress of History of Science: 143–154.

Meheus, Joke. 2000. “On The Acceptance Of Problem Solutions Derived From Inconsistent Constraints”. Logic and Logical Philosophy 8: 33–46.

Meheus, Joke, and Dagmar Provijn. 2007. “Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.

Meheus, Joke. 2011. “A Formal Logic For The Abduction Of Singular Hypotheses” Dennis Dieks, Gonzalez, Wenceslao J, Hartmann, Stephan, Uebel, Thomas, and Weber, Erik. Explanation, Prediction, and Confirmation: 93–108.