On expansions of WNM t-norm based logics with truth-constants
Fuzzy Sets and Systems
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Leibniz-linked Pairs of Deductive Systems
Studia Logica
Gödel logics with monotone operators
Fuzzy Sets and Systems
Algebraizable logics with a strong conjunction and their semi-lattice based companions
Archive for Mathematical Logic
Studia Logica
Hi-index | 0.00 |
In the recent years, several formal approaches to the specification of normative multi-agent systems (MASs) and artificial institutions have been proposed. The aim of this article is to advance the state of the art in this area by proposing an approach ...