Journal Publications

[A17] S. Wintein and C. Heilmann. Dividing the Indivisible: Apportionment and Philosophical Theories of Fairness. Philosophy, Politics and Economics. Accepted for publication. Penultimate version.

[A16] R. Muskens and S. Wintein. Interpolation in 16-valued Trilattice Logics. Studia Logica. Accepted for publication. Penultimate version.

[A15] S. Wintein and R. Muskens. Interpolation Methods for Dunn Logics and their Extensions. Studia Logica, 2017, doi:10.1007/s11225-017-9720-5

[A14] S. Wintein. From Closure Games to Strong Kleene Truth. Notre Dame Journal of Formal Logic, 2016, 57(2), pp. 153-179. (Penultimate version)

[A13] S. Wintein. On all Strong Kleene Generalizations of Classical Logic. Studia Logica, 2016, doi: 10.1007/s11225-015-9649-5

[A12] C. Heilmann and S. Wintein. How to be fairer. Synthese, 2015, doi: 10.1007/s11229-015-0967-y.

[A11] S. Wintein and R. Muskens. A Gentzen Calculus for Nothing but the Truth. Journal of Philosophical Logic, 2016, 45(4), pp. 451-465.

[A10] R. Muskens and S. Wintein. Analytic Tableaux for all of Sixteen3.  Journal of Philosophical Logic, 2015, 44(5), pp. 473-487

[A9] S. Wintein and R. Muskens. From Bi-Facial Truth to Bi-Facial Proof, Studia Logica, 2015, 103, pp. 545-558.

[A8] S. Wintein. On the Strict-Tolerant Conception of Truth. Australasian Journal of Philosophy, 2014, 92(1), pp. 71-90. (penulitmate version)

[A7] S. Wintein. Alternative ways for truth to behave when there's no vicious reference. Journal of Philosophical Logic, 2014, 43, pp. 665-690.

[A6] S.Wintein. Assertoric Semantics and the Computational Power of Self-referential Truth. Journal of Philosophical Logic, 2012, 41 (2), pp.317-34

[A5] S.Wintein. On the behavior of True and False. Minds and Machines, 2012, 22(1), pp.1-24.

[A4] S.Wintein and R. Muskens. A Calculus for Belnap's Logic in Which Each Proof Consists of Two Trees. Logique et Analyse, 2012, 220, pp.643-656. (penultimate version)

[A3] S. Wintein. A Framework for Riddles about Truth that do not involve Self-Reference. Studia Logica, 2011, 98(3), pp.445-482

[A2] S.Wintein. On languages that contain their own ungroundedness predicate*. Logique et Analyse, 2011, 216, pp.599-615. (penultimate version)

[A1] S. Wintein, P.E.M Borm, R.L.P Hendrickx and M. Quant. Multiple fund investment situations and related games. Mathematical Methods of Operations Research, 2006, 63(3), pp.413-426

*(An early version of) this paper won the runner-up prize in ESSLLI's 2009 (Bordeaux) best student paper competition.


Book (Chapter) Publications

[B2] S. Wintein. What makes a knight? Interfaces: Explorations in logic, language and computation,  (Lecture Notes in Artificial Intelligence, 6211), 2010, pp.25-37,Berlin: SpringerLink. (penultimate version)

[B1] S.Wintein. Playing with Truth. Ph.D. dissertation, 2012. ISBN: 9789461691934, Optima Grafische Communicatie, Rotterdam 


Proceeding Publications

[C2] S.Wintein. Modifying Kremer’s Modified Gupta-Belnap Desideratum. In: J. DeVuyst & L. Demey (Eds.), Future Directions for Logic: Proceedings of PhD’s in Logic 3, 2012, College Publications  (superseded by [A7])

[C1] S.Wintein. Computing with Self-reference. In: T. Achourioti, E. Andrade & M. Staudacher (Eds.), Proceedings of the Amsterdam Graduate Philosophy Conference—Meaning and Truth, 2010, pp. 103-115. ILCC publications X- 2010-1.  (superseded by [A6])

Other Publications

[D1] R. Urbaniak and S. Wintein. PhDs in Logic, research report, The Reasoner 3(4), 2009.