scientific article; zbMATH DE number 1140671

MaRDI QIDQ4385436zbMATH OpenFDO

Authors Alessandra Russo

Publication date 10 December 1998

zbMATH Keywords

labelled deductive systemsnatural deduction systempropositional modal logics

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Modal logic (including the logic of norms) (03B45)

Recommendations

• Labelled propositional modal logics: theory and practice
• scientific article; zbMATH DE number 1140672
• A deduction theorem for normal modal propositional logic
• scientific article; zbMATH DE number 510780

Cited in

(10)

• scientific article; zbMATH DE number 5295858 (Why is no real title available?)
• A deduction theorem for normal modal propositional logic
• scientific article; zbMATH DE number 510780 (Why is no real title available?)
• scientific article; zbMATH DE number 516987 (Why is no real title available?)
• Labelled propositional modal logics: theory and practice
• scientific article; zbMATH DE number 1140672 (Why is no real title available?)
• The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1
• Free variable tableaux for propositional modal logics
• Labelling ideality and subideality
• Semantics and computation of the generalized modus ponens: The long paper

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