scientific article; zbMATH DE number 3912349

zbMATH Open0572.03008MaRDI QIDQ3689162FDOQ3689162

Authors: R. Pliuškevičius 

Publication date: 1982

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4008371
• Symmetries in modal logics
• CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
• A contraction-free and cut-free sequent calculus for propositional dynamic logic
• Symmetric Logic of Proofs

zbMATH Keywords

cut-eliminationaxiomatic systemsconservative extensionsinverse propositional dynamic logicsymmetric regular logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Abstract data types; algebraic specification (68Q65)

Cited In (4)

• Symmetric generalized Galois logics
• Symmetries in modal logics
• Symmetric propositions and logical quantifiers
• Title not available (Why is that?)

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 Q3689162)