scientific article; zbMATH DE number 1140580

MaRDI QIDQ4385350zbMATH OpenFDO

Authors Heinrich Wansing

Publication date 1 November 1998

zbMATH Keywords

display logicGödel modal translationpersistence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Modal translations in substructural logics
• Sequent Calculi for Normal Modal Propositional Logics
• Displaying modal logic
• Temporal Gödel-Gentzen and Girard translations

Cited in

(9)

• Predicate logical extensions of some subintuitionistic logics
• Predicate logics on display
• A closer look at some subintuitionistic logics
• Monotone subintuitionistic logic: duality and transfer results
• Dual-context sequent calculus and strict implication
• Bounded distributive lattices with strict implication
• Choice-free topological duality for implicative lattices and Heyting algebras
• Sub-sub-intuitionistic 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 Q4385350)