5 citations · 8 across the 4 of their papers we have counts for
8 papers
Negotiation sets: a general framework
Tomasz Witczak
It is well-known fact that there exists 1-1 correspondence between so-called double (or flou) sets and intuitionistic sets (also known as orthopairs). At first glance, these two co…
Infra-topologies revisited: logic and clarification of basic notions
Tomasz Witczak
In this paper we adhere to the definition of infra-topological space as it was introduced by Al-Odhari. Namely, we speak about families of subsets which contain empty set and the w…
A note on the intuitionistic logic of false belief
Tomasz Witczak
In this paper we analyse logic of false belief in intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the follow…
Generalized topological spaces with associating function
Tomasz Witczak
Generalized topological spaces in the sense of Császár have two main features which distinguish them from typical topologies. First, these families of subsets are not closed under…
Generalized topological semantics for weak modal logics
Tomasz Witczak
Generalized topological spaces are not necessarily closed under finite intersections. Moreover, the whole universe does not need to be open. We use modified version of this framewo…
Multi-topological semantics for intuitionistic modal logic
Tomasz Witczak
We present three examples of \textit{multi-topological} semantics for intuitionistic modal logic with one modal operator (which behaves in some sense like necessity). We sho…