Daniel Skurt

Current Information

• Consultation-Hour: Tuesday 12:00-13:00 (by appointment via email)
• Logicians in Bochum
• M.A. Program HPS+ with a specialization in Logic

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

• Grundzüge der Logik (Folien)
• Mehrwertige Aussagenlogik (Lehrnotizen)

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, —. ☐ and ◇ in eight-valued non-deterministic semantics for modal logics. Journal of Logic and Computation, 2024. [pdf]
2. Pawel Pawlowski, —. 8 Valued Non-Deterministic Semantics for Modal Logics. Journal of Philosophical Logic, 2024. [pdf]
3. Sergey Drobyshevich, —. Neighbourhood semantics for FDE-based modal logics. Studia Logica, 2021. [pdf]
4. Sergei Odintsov, —, Heinrich Wansing. On Definability of Connectives and Logics over FDE. Logic and Logical Philosophy, 28,(4): 631–659, 2019. [pdf]
5. —. Bi-intuitionistic Implication Structures. Journal of Applied Non-Classical Logic, 28,(1): 20–34, 2018. [pdf]
6. Heinrich Wansing, —. Negation as Cancellation, Connexive Logic, and qLPm. The Australasian Journal of Logic, 2,(15): 476–488, 2018. [pdf]
7. —. FDE Circumscription. The Australasian Journal of Logic, 2,(14): 326–355, 2017. [pdf]
8. —. A Note on Two’s Company: ”The Humbug of Many Logical Values”. Logica Universalis, 3,(11): 401–407, 2017. [pdf]
9. Hitoshi Omori, —. More Modal Semantics without Possible Worlds. IfCoLog Journal of Logics and their Applications, 3,(5): 815–846, 2016. [pdf]
   
   Book Chapters
    
10. 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].
11. 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]
12. 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
     
13. —. The smallest modal system. Short Paper Submission AiML 2022.
14. Hitoshi Omori, —. Untruth, falsity and non-deterministic semantics. IEEE 51th International Symposium on Multiple-Valued Logic, Volume 51, 2021. [preprint]
15. Hitoshi Omori, —. A Semantics for a Failed Axiomatization of K. Proceedings of AiML 2020. [pdf]
16. 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]
17. Heinrich Wansing, —. Logical Connectives for some FDE-based Modal Logics. Short Paper Submission AiML 2018.
18. Hitoshi Omori, —. A survey on Kearns’ modal semantics without possible worlds. Short Paper Submission AiML 2016.
    
    Books and Dissertation
     
19. —. New Perspectives on Some Established Non-Classical Logical Systems. Dissertation, Ruhr University Bochum, University Library.