scientific article; zbMATH DE number 7668111

MaRDI QIDQ5884960zbMATH OpenFDO

Authors Jim de Groot

Publication date 24 March 2023

Full work available at URL https://arxiv.org/abs/2011.10221

zbMATH Keywords

Goldblatt-Thomason theoremintuitionistic logicmodal logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Recommendations

• Glivenko type theorems for intuitionistic modal logics
• Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic
• Goldblatt-Thomason-style theorems for graded modal language
• scientific article; zbMATH DE number 3950488
• scientific article; zbMATH DE number 3865242
• Towards a proof theory of Gödel modal logics
• Gentzen sequent calculi for some intuitionistic modal logics
• scientific article; zbMATH DE number 1791673
• On an intuitionistic modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic

Cited in

(3)

• Birkhoff's and Mal'cev's theorems for implicational tonoid logics
• Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
• Intuitionistic monotone modal logic via translation

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