scientific article; zbMATH DE number 4089526

MaRDI QIDQ3818299zbMATH OpenFDO

Authors P. I. Bystrov

Publication date 1988

zbMATH Keywords

Beth-style tableaux formulationsGentzen- style consecution calculipropositional modal systemsrelevance logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 2209446
• scientific article; zbMATH DE number 2209820
• scientific article; zbMATH DE number 2079261
• Strongly analytic tableaux for normal modal logics
• Uniform and non uniform strategies for tableaux calculi for modal logics

Cited in

(11)

• Cut-free sequent and tableau systems for propositional Diodorean modal logics
• Kneale's natural deductions as a notational variant of Beth's tableaus
• Dealing with Symmetries in Modal Tableaux
• scientific article; zbMATH DE number 3859092 (Why is no real title available?)
• scientific article; zbMATH DE number 4210105 (Why is no real title available?)
• scientific article; zbMATH DE number 2024627 (Why is no real title available?)
• scientific article; zbMATH DE number 2072494 (Why is no real title available?)
• scientific article; zbMATH DE number 2079261 (Why is no real title available?)
• scientific article; zbMATH DE number 2209446 (Why is no real title available?)
• scientific article; zbMATH DE number 2209820 (Why is no real title available?)
• scientific article; zbMATH DE number 2226185 (Why is no real title available?)

This page was built for publication:

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