Lattices of four-valued modal logics

zbMATH Open1338.03033MaRDI QIDQ2804044FDOQ2804044

Alexander S. Karpenko

Publication date: 27 April 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

Recommendations

• Four-valued modal logic: Kripke semantics and duality
• Modal propositional truth logic Tr and its completeness
• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
• scientific article; zbMATH DE number 761291
• Several characterizations of the 4-valued modal algebra

zbMATH Keywords

endomorphismsBoolean algebramodal logicsDe Morgan algebraclosed classes of functionsBoolean cascadeslattices of logicslogic Tr

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10)

Cited In (10)

• Belnap's Four-Valued Logic and De Morgan Lattices
• An abstract algebraic logic approach to tetravalent modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• A 4-valued framework encompassing intuitionistic and classical logic
• An alternative definition of quantifiers on four-valued Łukasiewicz algebras
• Four-Valued Logics BD and DM4: Expansions
• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
• On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
• Title not available (Why is that?)

This page was built for publication: Lattices of four-valued modal logics

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