NACH OBEN

Daniel Skurt


"If she weighs the same as a duck she's made of wood."
(Monty Python on Natural Language Conditionals)


Ruhr-Universität Bochum
Institut für Philosophie I
Universitätsstraße 150
D-44780 Bochum
Deutschland
Room: GB 04/147
Tel.: 0234 32 - 22714
E-Mail: daniel[dot]skurt[at]rub.de

Ds

Current Information


About Me

  • Member of the employee theatre group at RUB
  • Coordinator M.A. Program HPS+Logic
  • 2017, Dr. phil. in Logic, Ruhr University Bochum
  • 2012, M.A. in Logic, Leipzig University
  • 2007, Dipl.-Ing. in Electrical Engineering, TU Chemnitz

CV


Teaching SS 2024

Seminars & Lectures:

  • Gentzen: The Provability of Consistency of Arithmetic, Seminar, GABF 04/358, Mi 14-16 (with Nils Kürbis)
  • Gentzen: The Provability of Consistency of Arithmetic, Exercises, GABF 04/358, Do 14-16 (with Nils Kürbis)
  • Research Colloquium "Logic and Epistemology", GABF 04/358, Do 16-18 (with Nils Kürbis)

Lecture Notes


Projects

  • Contradictory Logics: A Radical Challenge to Logical Orthodoxy - Project Assistance
  • Modal Semantics without Possible Worlds (DFG project SK 379/1-1) (finished)
  • FDE-based modal logics (DFG project WA 936/13-1) (finished)

Research Interests

  • Modal Extensions of Many-Valued Logics
  • Non-Deterministic Semantics for Modal Logics
  • Non-normal Modal Logics
  • Non-Deterministics Semantics

Publications

    Journal Papers

  1. Pawel Pawlowski, —. 8 Valued Non-Deterministic Semantics for Modal Logics. Journal of Philosophical Logic, 2024. [pdf]
  2. Sergey Drobyshevich, —. Neighbourhood semantics for FDE-based modal logics. Studia Logica, 2021. [pdf]
  3. Sergei Odintsov, —, Heinrich Wansing. On Definability of Connectives and Logics over FDE. Logic and Logical Philosophy, 28,(4): 631–659, 2019. [pdf]
  4. —. Bi-intuitionistic Implication Structures. Journal of Applied Non-Classical Logic, 28,(1): 20–34, 2018. [pdf]
  5. Heinrich Wansing, —. Negation as Cancellation, Connexive Logic, and qLPm. The Australasian Journal of Logic, 2,(15): 476–488, 2018. [pdf]
  6. —. FDE Circumscription. The Australasian Journal of Logic, 2,(14): 326–355, 2017. [pdf]
  7. —. A Note on Two’s Company: ”The Humbug of Many Logical Values”. Logica Universalis, 3,(11): 401–407, 2017. [pdf]
  8. Hitoshi Omori, —. More Modal Semantics without Possible Worlds. IfCoLog Journal of Logics and their Applications, 3,(5): 815–846, 2016. [pdf]

    Book Chapters
     
  9. Hitoshi Omori, —, "On Ivlev's semantics for modality", in Coniglio, M. E., Kubyshkina, E. & Zaitsev, D. V. (eds), Many-valued semantics and modal logics. Essays in Honour of Yuri V. Ivlev, Springer, [preprint].
  10. Sergei Odintsov, —, Heinrich Wansing. Connexive Variants of Modal Logics over FDE. In: O. Arieli and A. Zamansky (eds.), Outstanding Contributions to Logic volume for Arnon Avron. [preprint]
  11. Heinrich Wansing, —. On Non-transitive ’Identity’. In: C. Baskent and T.M. Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer, 535–553, 2020. [pdf]

    Conference Proceedings
     
  12. —. The smallest modal system. Short Paper Submission AiML 2022.
  13. Hitoshi Omori, —. Untruth, falsity and non-deterministic semantics. IEEE 51th International Symposium on Multiple-Valued Logic, Volume 51, 2021. [preprint]
  14. Hitoshi Omori, —. A Semantics for a Failed Axiomatization of K. Proceedings of AiML 2020. [pdf]
  15. Hitoshi Omori, —. Sixteen3 in Light of Routley Stars. In: Lecture Notes in Computer Science 11541, Logic, Language, Information and Computation, Springer, 516–532, WoLLIC 2019. [preprint]
  16. Heinrich Wansing, —. Logical Connectives for some FDE-based Modal Logics. Short Paper Submission AiML 2018.
  17. Hitoshi Omori, —. A survey on Kearns’ modal semantics without possible worlds. Short Paper Submission AiML 2016.

    Books and Dissertation
     
  18. —. New Perspectives on Some Established Non-Classical Logical Systems. Dissertation, Ruhr University Bochum, University Library.