Logics to formalise p-adic valued probability and their applications. Issue 3 (4th May 2018)