Abstract

Towards completeness of some lattice-valued modal logics

Lávička Tomáš, Přenosil Adam

: ISRALOG'17 Abstract Booklet, p. 104-107

: ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017)

: BA