We study the general problem of strengthening the logic of a given (partial)(non-
deterministic) matrix with a set of axioms, using the idea of rexpansion. We obtain two …

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized
by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four …

We consider a 2-valued non-deterministic connective∧∨ defined by the table resulting from
the entry-wise union of the tables of conjunction and disjunction. Being half conjunction and …

The aim of this paper is to give the first steps towards the formal study of swap structures,
which are non-deterministic matrices (Nmatrices) defined over tuples of 0–1 truth values …

Hyperstructures (also known as hyperalgebras, or non-deterministic algebras) has been
studied from different standpoints over the last several decades. However, the relationship …

The aim of this paper is to combine several Ivlev-like modal systems characterized by 4-
valued non-deterministic matrices (Nmatrices) with IDM 4, a 4-valued expansion of Belnap …

In the first part of this paper we analyzed finite non-deterministic matrix semantics for
propositional non-normal modal logics as an alternative to the standard Kripke possible …

In this paper we study several extensions of the minimal modal logic M. This minimal modal
logic is formulated in the language of classical propositional logic together with two modal …

The aim of this paper is to study a particular family of non-deterministic semantics for modal
logics that has eight truth-values. These eight-valued semantics can be traced back to Omori …

In this short paper we will discuss the similarities and differences between two semantic
approaches to modal logics-non-deterministic semantics and restricted non-deterministic …