Medvedev's logic and products of converse well orders

MaRDI QIDQ5884973zbMATH OpenFDO

Authors Denis I. Saveliev, Ilya Shapirovsky

Publication date 24 March 2023

zbMATH Keywords

modal logicfinite model propertyMedvedev's logicdirect product of ordinalsNoetherian order

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 7668110
• scientific article; zbMATH DE number 6290323
• Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
• Intermediate logics and factors of the Medvedev lattice
• Constructive logic and the Medvedev lattice

Cited in

(2)

• scientific article; zbMATH DE number 7668110 (Why is no real title available?)
• scientific article; zbMATH DE number 6290323 (Why is no real title available?)

This page was built for publication: Medvedev's logic and products of converse well orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5884973)