Logical consequence and combinations of logics: fundaments and efficient applications
Bases for paraconsistent logic programming in multi-valued logics
Research proposal logical consequence and combinations of logics: fundaments and e...
Efficient solutions for hybrid Markov decision processes specified through probabi...
Solving Puzzles and Reframing Paradoxes: an investigation in non-classical logics
Proof-theoretical methods for LFIs and other non-classical logics: decidability a...