activity
20172022
most citedIntuitionistic modal logic based on neighborhood semantics without superset axiom

5 citations · 14 across the 8 of their papers we have counts for

collaborators

9 papers

math.GN2022★ 1 cited

Some remarks on anti-topological spaces

Tomasz Witczak

This paper is devoted to a general presentation of anti-topological spaces. These structures have been initially proposed by Şahin, Kargın and M. Yücel in 2021. We analyse their ba…

math.LO2021

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…

math.LO2021★ 3 cited

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…

math.LO2020

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…

math.LO2019★ 1 cited

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…

math.LO2019★ 3 cited

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…

math.LO2019

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…

math.LO2018★ 1 cited

Simple example of weak modal logic based on intuitionistic core

Tomasz Witczak

In this paper we present simple example of propositional logic which has one modal operator and is based on intuitionistic core. This system is very weak in modal sense - e.g. rule…

math.LO2017★ 5 cited

Intuitionistic modal logic based on neighborhood semantics without superset axiom

Tomasz Witczak

In this paper we investigate certain systems of propositional intuitionistic modal logic defined semantically in terms of neighborhood structures. We discuss various restrictions i…