Karpenko, Alexander S. Von Wright’s truth-logic and around. (English) Zbl 1273.03079 Karpenko, A. S. (ed.), Logicheskie issledovaniya. 19. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-143-6/hbk). 39-50 (2013). Summary: In this paper, von Wright’s truth-logic \({\mathbf T}''\) is considered. It seems that it is a De Morgan four-valued logic DM4 (or Belnap’s four-valued logic) with endomorphism \(e_2\). In connection with this, many other issues are discussed: twin truth operators, a truth-logic with endomorphism \(g\) (or logic Tr), the lattice of extensions of DM4, modal logic V2, Craig interpolation property, von Wright-Segerberg’s tense logic W, and so on.For the entire collection see [Zbl 1270.03020]. Cited in 2 Documents MSC: 03B50 Many-valued logic 03B45 Modal logic (including the logic of norms) Keywords:Wright’s truth-logic; De Morgan four-valued logic; twin truth operators; tetravalent modal logic TML; truth logic Tr; modal logic V2; von Wright-Segerberg’s tense logic PDFBibTeX XMLCite \textit{A. S. Karpenko}, in: Logicheskie issledovaniya. 19. Moskva: Tsentr Gumanitarnykh Initsiativ. 39--50 (2013; Zbl 1273.03079)