Constructive belief reportsWięckowski, Bartosz · Synthese · 2015

Associative Substitutional Semantics and Quantified Modal LogicBartosz Więckowski · 2010

Doubt Truth to Be a Liarby Graham PriestReview by: Bartosz Więckowski · Studia Logica: An International Journal for Symbolic Logic · 2007

A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language ConstructionsBartosz Więckowski · 2012

Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive IdentityWięckowski, Bartosz · Journal of Logic, Language and Information · 2016

Logic and Natural Language || A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language ConstructionsBartosz Więckowski · Studia Logica: An International Journal for Symbolic Logic · 2012

RELATIVE-SAMENESS COUNTERPART THEORYFARA, DELIA GRAFF · The Review of Symbolic Logic · 2008

TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORYWEBER, ZACH · The Review of Symbolic Logic · 2010

REPLY TO BJØRDALWEBER, ZACH · The Review of Symbolic Logic · 2011

MINIMAL TRUTH AND INTERPRETABILITYFISCHER, MARTIN · The Review of Symbolic Logic · 2009

AGAINST AGAINST NONBEINGPRIEST, GRAHAM · The Review of Symbolic Logic · 2011

THE CLASSICAL CONTINUUM WITHOUT POINTSHELLMAN, GEOFFREY; SHAPIRO, STEWART · The Review of Symbolic Logic · 2013

THE SET-THEORETIC MULTIVERSEHAMKINS, JOEL DAVID · The Review of Symbolic Logic · 2012