scientific article

zbMATH Open0623.03020MaRDI QIDQ3760512

R. Pliuškevičius

Publication date: 1985

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

zbMATH Keywords

eliminationsubformula propertyCraig interpolation theoremconservative extension of the quantified modal logic S5predicative symbols with indices

Mathematics Subject Classification ID

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

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Propositional quantification in bimodal S5

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On modal logics which enrich first-order S5 👍 👎
• On modal logics conservative over intuitionistic predicate calculus 👍 👎
• Contraction-free calculi for modal logics S5 and KD45 👍 👎
• The extensions of the modal logic K5 👍 👎
• A cut-free Gentzen formulation of the modal logic S5 👍 👎

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