scientific article; zbMATH DE number 3052388

MaRDI QIDQ5791647zbMATH OpenFDO

Authors Frederic B. Fitch

Publication date 1948

Full work available at URL https://eudml.org/doc/114664

zbMATH Keywords

Philosophy and foundations of mathematics

Cited in

(12)

• Models for normal intuitionistic modal logics
• Maehara-style modal nested calculi
• A strong completeness theorem in intuitionistic quantified modal logic
• Nested sequents for intuitionistic modal logics via structural refinement
• Game semantics for constructive modal logic
• A general method for proving decidability of intuitionistic modal logics
• A framework for intuitionistic grammar logics
• A natural intuitionistic modal logic: axiomatization and bi-nested calculus
• Demystifying
• Intuitionistic monotone modal logic via translation
• Playing with modalities (invited talk)
• Intuitionistic non-normal modal logics: a general framework

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