Publication:3475247

zbMATH Open0698.03012MaRDI QIDQ3475247FDOQ3475247

Alexander Vasil'evich Chagrov, Michael Zakharyaschev

Publication date: 1990

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

zbMATH Keywords

modal logicdisjunction propertynormal extensions of S4Halldén-completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Cited In (5)

• The first axiomatization of relevant logic
• The disjunction property of intermediate propositional logics
• Modal companions of intermediate propositional logics
• Halldén-completeness in super-intuitionistic predicate logics
• 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 Q3475247)