Jun 1, 2020 · We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral ...

Jun 1, 2020 · We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice).

We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice). We ...

We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice).

We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice).

We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice).

Roman transport was a fundamental tool for the consolidation of the newly annexed areas and for the spread of territorial administration and the Roman way of ...

A Lindström theorem in many-valued modal logic over a finite MTL-chain. https://doi.org/10.1016/j.fss.2019.03.002 ·. Journal: Fuzzy Sets and Systems, 2020, ...

A modal analogue of Lindstrom's characterization of first-order logic is proved. Basic modal logics are characterized as the only modal logics that have a ...

J17. Badia, G. (2020). A Lindström Theorem in Many-Valued Modal Logic over a Finite MTL-chain (with Olkhovikov, G.), Fuzzy Sets and Systems, 388: 26-37 ( ...