"If… she… weighs… the same as a duck,… she’s made of wood."





Ruhr-Universität Bochum
Institut für Philosophie II
Universitätsstraße 150
D-44780 Bochum

Room: GA 3/156




Current Information

Consultation-Hour by appointment



  Lecture Room/Time
 Ss 18
 Set theory for Philosophers
 GABF 04/358 Tue 4-6 pm
 Ss 18
 Structural Proof Theory
 University Leipzig June 14 - 17
 Ws 18/19 Proof Theory for Philosophers Tue 4-6 pm




About me

  • Since 2018 Research Fellow with Heinrich Wansing
  • 2013 - 2017 Research Assistant with Heinrich Wansing
  • Dr. phil. in Logic 2017, Ruhr-University Bochum
  • M.A. in Logic, 2012, University Leipzig
  • Dipl.-Ing. in Electrical Engineering, 2007, TU Chemnitz





 Research Interests

  • Implication Structures and Partial Algebras
  • Non-Deterministic Semantics for Modal Logics





  • FDE-based modal logics (DFG project)






  • Omori, H., Skurt, D.: More modal semantics without possible worlds. IfCoLog Journal of Logics and their Applications, 3,(5):815-846. [pdf]


  • Skurt, D.: FDE Circumscription. The Australasian Journal of Logic. 2,(14):326-355. [pdf]
  • Skurt, D.: A note on Two's company: "The humbug of many logical values". Logica Universalis, 3,(11):401-407 [pdf]


  • Skurt, D.: Bi-intuitionistic implication structures. Journal of Applied Non-Classical Logic. Online first [pdf]
  • Wansing, H., Skurt, D.: Negation as cancellation, connexive logic, and qLPm. The Australasian Journal of Logic. 2,(15): 476-488. [pdf]


  • Wansing, H., Skurt, D.: On non-transitive 'identity'. To appear in: C. Baskent and T.M. Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer





  • "Operatoren und Akkorde - eine musikologische Beschreibung", Workshop Darstellungsformen von Musik, Bild und Text, Leipzig, June 2012
  • "Suszko-Reduzierte Logiken", Kolloquium Logik und Erkenntnistheorie, Bochum, January 2013
  • "Suszko-reduced logics and truth-functionality", 4th UniLog, Rio de Janeiro, April 2013
  • "Inconsistencies in Non-Monotonic Contexts", Workshop Logical Consequence and Paradox, Bochum, December 2013
  • "Nichtmonotones Parakonsistentes Schließen", Leipzig, January 2014
  • "Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic", 5th World Congress on Paraconsistency, Kolkata, February 2014
  • "A Chord Calculus", 1. International Conference Logic of Music - Musical Logic, Cottbus, June 2014
  • "More modal semantics without possible worlds", Kolloquium Logik und Erkenntnistheorie, Bochum, October 2014
  • "Paracomplistent Circumscription", Kolloquium Logik und Erkenntnistheorie, Bochum, November 2014
  • "Paracomplistent Circumscription", Seminaire interuniversitaire de recherche, Namur, February 2015
  • "Paracomplistent Circumscription", Colloquium at CUNY, New York, March 2015
  • "Beyond Arnold Koslow's Implication Relation", Workshop "Logic in Bochum I", Bochum, June 2015
  • "Dualizing q-consequence operations", 5th World Congress on Universal Logic, Istanbul, June 2015
  • "Non-monotonic implication relations", Kolloquium Logik und Erkenntnistheorie, Bochum, February 2016
  • "Non-Monotonic Operators", XXI Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, May 2016
  • "Operators in Non-Monotonic Systems", Workshop "Logic in Bochum II", Raesfeld, June 2016
  • "A survey on Kearns' modal semantics without possible worlds", AIML 2016, Budapest, August 2016
  • "Paraconsistency from a structural point of view", Kyoto Workshop on Dialetheism and Paraconsistency, Kyoto, October 2016
  • "Paraconsistency and Implication Relations", Kolloquium Logik und Erkenntnistheorie, Bochum, January 2017
  • "Something about Partial Algebras", Kolloquium Logik und Erkenntnistheorie, Bochum, July 2017
  • "Beyond Kearns Semantics without Possible Worlds", Kolloquium Logik, Tübingen, October 2017
  • "Primitive Connectives Matter in Non-Deterministic Semantics", Kolloquium Logik und Erkenntnistheorie, Bochum, January 2018