ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
We investigate logic of bounded distributive residuated lattices with modal operators □ and ⋄. We introduce relational semantics for such substructural modal logics. We prove that any canonical logic is Kripke complete using discrete duality and canonical extensions.