This paper introduces a sequent calculus,, the minimal structural logic, which includes all
structural rules while excluding operational ones. Despite its limited calculus, unexpectedly …

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 …

Ivlev's pioneering work started in the 1970s showed a new and promissory way in the study
of modal logic from the perspective of many-valued logics. Continuing our previous work on …

This paper examines the height of Kearns valuations in the context of non-deterministic
semantics for modal logics. The authors first show that the height of these valuations can be …

The goal of this paper is to offer an initial taxonomy of the LFIs (logics of formal
inconsistency) and that can be non-trivially extended with a transparent truth predicate. To …

Yuriy Vasilievich Ivlev, born on December 21, 1936, in Verhnespasskoe village (Tambov
region, USSR), is an esteemed logician. He graduated with a degree in philosophy from …