Research output

1. Maximality of bi-intuitionistic propositional logic

   Research output: Contribution to journal › Article › peer-review

2. A Lindström theorem in many-valued modal logic over a finite MTL-chain

   Research output: Contribution to journal › Article › peer-review

3. Simplified Tableaux for STIT Imagination Logic

   Research output: Contribution to journal › Article › peer-review

View all (17) »