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

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

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

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

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

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

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

Faroldi, Federico LG, and Tudor Protopopescu. 2019. “Hyperintensional Logics Of Reasons”. Logic Journal of the IGPL.

Van De Putte, Frederik, Stef Frijters, and Joke Meheus. 2018. “How To Take Heroin (If At All). A New Approach To Detachment In Deontic Logic” Cleo Condoravdi, Nair, Shyam, and Pigozzi, Gabriella. Deontic Logic and Normative Systems: 14th International Conference: 317-335.

Batens, Diderik. 2017. “Abduction Logics Illustrating Pitfalls Of Defeasible Methods” Rafał Urbaniak and Payette, Gillman. Applications of formal philosophy: the road less travelled 14: 169–193.

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

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.

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

De Vreese, Leen. 2014. “The Concept Of Disease And Our Responsibility For Children” Christian Perring and Wells, Lloyd. Diagnostic Dilemmas in Child and Adolescent Psychiatry: 35–55.

Straßer, Christian, and Ofer Arieli. 2014. “Dynamic Derivations For Sequent-Based Deductive Argumentation” Simon Parsons, Oren, Nir, Reed, Chris, and Cerutti, Federico. COMMA 2014 Computational Models of Argument: 89–100.

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.

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.

Jespersen, Bjørn, and Giuseppe Primiero. 2013. “Alleged Assassins: Realist And Constructivist Semantics For Modal Modification”. Logic, Language, and Computation 7758: 94–114.

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

Primiero, Giuseppe. 2013. “A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.

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

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.

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

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

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