Logics for unconventional computing. Issue 3 (4th May 2018)