scientific article; zbMATH DE number 1157127

MaRDI QIDQ4391083zbMATH OpenFDO

Authors Takafumi Migita, Tsutomu Hosoi

Publication date 19 March 2001

zbMATH Keywords

monotonic modal logicnormal modal logicregular modal logicsequent calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Gentzen calculi for modal propositional logic
• scientific article; zbMATH DE number 3871327
• Gentzen sequent calculi for some intuitionistic modal logics
• Gentzen-type formulation of the propositional logic LQ
• Generalized quantifiers and modal logic
• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• Modal bilattice logic and its extensions
• scientific article; zbMATH DE number 3966022
• Hybrid formulas and elementarily generated modal logics
• scientific article; zbMATH DE number 4012571

Cited in

(5)

• Gentzen-type formulation of the propositional logic LQ
• A formal characterisation of Hamblin's action-state semantics
• scientific article; zbMATH DE number 3871327 (Why is no real title available?)
• Sequent calculi for monotonic modal logics
• Gentzen sequent calculi for some intuitionistic modal logics

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