Modal propositional truth logic Tr and its completeness

MaRDI QIDQ2981250zbMATH OpenFDO

Authors

Publication date 8 May 2017

zbMATH Keywords

algebraic completenessBoolean algebraDe Morgan algebraendomorphismusFitting's theory of truthKripke completenesslogic Trmodal logic V2Sahlqvist's theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Recommendations

• Lattices of four-valued modal logics
• Von Wright's truth-logic and around
• scientific article; zbMATH DE number 4135915
• Modal logics with Belnapian truth values
• scientific article; zbMATH DE number 1858068

Cited in

(2)

• Lattices of four-valued modal logics
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions

This page was built for publication: Modal propositional truth logic Tr and its completeness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2981250)