We propose an alternative to the standard structure of L-fuzzy Mathematical Morphology
(MM) by, on the one hand, considering L-fuzzy relations as structuring elements and, on the …

We investigate intuitionistic logics extended both with the co-implication connective of
Hilbert-Brouwer logic and with diamond and box modalities. We use a Kripke semantics …

New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics Mechanized in
Coq Page 1 New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics …

Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics
where worlds in a frame are equipped with a pre-order as well as with an accessibility …

Duality is one of the key techniques in the categorical treatment of modal logics. From the
duality between (modal) algebras and (descriptive) frames one derives eg completeness …

This paper proposes an intuitionistic generalization of van Benthem and Liu's dynamic logic
of relation changers, where relation changers are dynamic operators that rewrite each …

It is well-known that extending the Hilbert axiomatic system for first-order intuitionistic logic
with an exclusion operator, that is dual to implication, collapses the domains in the model …

We consider a modal logic based on mathematical morphology which allows the expression
of mereotopological relations between subgraphs in the setting of the discrete space. A …

We develop intuitionistic public announcement logic over intuitionistic K, KT, K 4, and S 4
with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge …

The logic UBiSKt is a bi-intuitionistic modal logic with universal modalities having a
semantics in which formulae are interpreted as subgraphs. We use the logic to formalize the …