Daniel Skurt

Daniel Skurt
Ruhr-Universität Bochum | RUB · Institut für Philosophie I

PhD

About

13
Publications
1,571
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
92
Citations
Citations since 2016
13 Research Items
92 Citations
2016201720182019202020212022010203040
2016201720182019202020212022010203040
2016201720182019202020212022010203040
2016201720182019202020212022010203040
Introduction
Additional affiliations
April 2013 - September 2017
Ruhr-Universität Bochum
Position
  • Research Assistant, Teaching Assistant
Education
April 2013 - July 2017
Ruhr-Universität Bochum
Field of study
  • Logic
October 2009 - December 2011
University of Leipzig
Field of study
  • Logic
October 1999 - April 2007
Technische Universität Chemnitz
Field of study
  • Electrical Engineering

Publications

Publications (13)
Chapter
Various connexive FDE-based modal logics are studied. Some of these logics contain a conditional that is both connexive and strict, thereby highlighting that strictness and connexivity of a conditional do not exclude each other. In particular, the connexive modal logics cBK\(^{-}\), cKN4, scBK\(^{-}\), scKN4, cMBL, and scMBL are introduced semantic...
Article
We investigate some non-normal variants of well-studied paraconsistent and paracomplete modal logics that are based on N. Belnap’s and M. Dunn’s four-valued logic. Our basic non-normal modal logics are characterized by a weak extensionality rule, which reflects the four-valued nature of underlying logics. Aside from introducing our basic framework...
Preprint
Full-text available
In the present paper we investigate some non-normal variants of well-studied paraconsistent and paracomplete modal logics that are based on N. Belnap's and M. Dunn's four-valued logic. Our basic non-normal modal logics are characterized by a weak extensionality rule, which reflects the four-valued nature of underlying logics. Aside from introducing...
Chapter
Full-text available
For one of the most well-known many-valued logics FDE, there are several semantics, including the star semantics by Richard Routley and Valerie Routley, the two-valued relational semantics by Michael Dunn and the four-valued semantics by Nuel Belnap. The last semantics inspired Yaroslav Shramko and Heinrich Wansing to introduce the trilattice SIXTE...
Chapter
Full-text available
Graham Priest takes the relation of identity to be non-transitive. In this paper, we are going to discuss several consequences of identity as a non-transitive relation. We will consider the Henkin-style completeness proof for classical first-order logic with a non-transitive “identity” predicate, Leibniz-identity in Priest’s second-order minimal lo...
Article
Full-text available
In this paper, we shall consider the so-called cancellation view of negation and the inferential role of contradictions. We will discuss some of the problematic aspects of negation as cancellation, such as its original presentation by Richard and Valery Routley and its role in motivating connexive logic. Furthermore , we will show that the idea of...
Article
Full-text available
In this contribution, we will present some results concerning the connectives of bi-intuitionistic logic in the setting of Arnold Koslow’s implication structures. Furthermore, we will present soundness and completeness results of Koslow’s implication structures with respect to bi-intuitionistic logic.
Article
Full-text available
The present note offers a proof for separating the truth-values of an arbitrary finitely many valued Łukasiewicz logic by making use of Gray codes.
Article
Full-text available
In his article "Reassurance via Translation" Marcel Crabbe proposed a formalism to obtain reassurance and classical recapture in the setting of minimal FDE. His formalism proved to be general enough to be extended in order to formalize other forms of non-monotonic systems based on preference relations. It is the aim of this article to show how his...
Article
Full-text available
In one of his papers, John Kearns developed a semantics without possible worlds for the normal modal logics T, S4, and S5 and even though his work challenged the orthodox view of Kripkean semantics, his work has never been widely recognized. This probably was due to the complexity of his non-deterministic hierarchic semantics. But contemporary deve...

Network

Cited By

Projects

Projects (2)
Project
Investigating properties of certain FDE based modal logics