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. 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, and Joke Meheus. 2008. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.

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

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.

Meheus, Joke. 1993. “Ontdekking En Creativiteit In Wetenschap En Muziek” Robert Halleux and Bernés, Anne-Cathérine. Nieuwe tendenzen in de geschiedenis en de filosofie van de wetenschappen: 41–52.

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

Meheus, Joke, and Kristof De Clercq. 2009. “Goal-Directed Tableaux” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. The Many Sides of Logic 21: 241–256.

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

Meheus, Joke. 2002. “An Adaptive Logic For Pragmatic Truth” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent: 167–185.

Meheus, Joke. 2006. “Discussive Adaptive Logics: Handling Internal And External Inconsistencies” Jacek Malinowski and Pietruszczak, Andrzej. Essays in Logic and Ontology 91: 211-223.

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

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. 2005. “Empirical Progress And Ampliative Adaptive Logics” Roberto Festa, Aliseda, Atocha, and Peijnenburg, Jeanne. Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 83: 193–217.

Meheus, Joke, Mathieu Beirlaen, and Frederik Van De Putte. 2010. “Avoiding Deontic Explosion By Contextually Restricting Aggregation”. In Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), Guido Governatori and Sartor, Giovanni. Dordrecht: Springer.

Meheus, Joke. 1999. “The Early Positivists' Approach To Scientific Discovery”. Philosophica 64: 81–108.

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.