Prefixed tableaus for three-valued modal propositional logics

MaRDI QIDQ2718775zbMATH OpenFDO

Authors Jūratė Sakalauskaitė

Publication date 9 May 2001

Published in Proceedings of the Estonian Academy of Sciences. Physics, Mathematics (Search for Journal in Brave)

zbMATH Keywords

Kripke-type semanticstableau systemsthree-valued modal logic

Mathematics Subject Classification ID

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

Recommendations

• Tableaus for many-valued modal logic
• Three-valued logics in modal logic
• Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
• Some modal logics based on a three-valued logic
• scientific article; zbMATH DE number 1189102
• Three-valued paraconsistent propositional logics
• Certification of prefixed tableau proofs for modal logic
• Tableaus with invertible rules for many-valued modal propositional logics
• Tableaux for many-valued logics
• On the axiomatization of three-valued propositional logic

This page was built for publication: Prefixed tableaus for three-valued modal propositional logics

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