Logics for belief functions on MV-algebras.
International Journal of Approximate Reasoning. 54:491-512.
Logics for Non-Cooperative Games with Expectations.
Eleventh European Workshop on Multi-Agent Systems (EUMAS 2013). 1113:82-96.
Logics preserving degrees of truth from varieties of residuated lattices.
Journal of Logic and Computation (doi:10.1093/logcom/exp030). 19:1031-1069.
Lowenheim-Skolem theorems for first-order algebraizable logics.
The Second Israeli Workshop on Non-Classical Logics and their Applications (ISRALOG'14). :29-32.
IJCAI ? 05. Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. :1238-1243.