scientific article; zbMATH DE number 1252393

MaRDI QIDQ4229377zbMATH OpenFDO

Authors Andrzej Indrzejczak

Publication date 21 February 1999

zbMATH Keywords

cut-freedommodal logicmodal sequentssequent calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1163927
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• Modal sequents for normal modal logics
• From Frame Properties to Hypersequent Rules in Modal Logics

Cited in

(27)

• A cut-free Gentzen formulation of basic propositional calculus
• A survey of nonstandard sequent calculi
• Modular sequent calculi for classical modal logics
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• A deep inference system for the modal logic S5
• Sequent Calculi for Multi-modal Logic with Interaction
• Generalized DEL-Sequents
• A Critical Overview of the Most Recent Logics of Grounding
• A Modal Extension of Weak Generalisation Predicate Logic
• A cut-free simple sequent calculus for modal logic S5
• The Method of Tree-Hypersequents for Modal Propositional Logic
• A Schemata Calculus for Propositional Logic
• scientific article; zbMATH DE number 3979042 (Why is no real title available?)
• scientific article; zbMATH DE number 67452 (Why is no real title available?)
• scientific article; zbMATH DE number 1163927 (Why is no real title available?)
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Gentzen sequent calculi for some intuitionistic modal logics
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Generalized Modal Satisfiability
• A Gentzen-type calculus of sequents for single-operator propositional logic
• Semantics and computation of the generalized modus ponens: The long paper
• THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
• Nested sequents or tree-hypersequents -- a survey
• Bilateral labeled sequent calculi
• Cut-free Gentzen calculus for multimodal CK
• A coding method for a sequent calculus of propositional logic
• Display calculi and other modal calculi: a comparison

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