Logics of some Kripke frames connected with Medvedev notion of informational types

DOI10.1007/BF01881552zbMath0615.03008OpenAlexW1976647940MaRDI QIDQ1820765

Valentin Shehtman, Dimitrij Skvortsov

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01881552

zbMATH Keywords

Heyting algebraaxiomatizabilityintermediate propositional logicsScott's logicHeyting's logiclogic of infinite problemsregular informational types

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

On the modal logic of subset and superset: tense logic over Medvedev frames, Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable

Cites Work

• Unnamed Item
• Unnamed Item
• Period, index and potential \(\text Ш\)
• Kripke models and intermediate logics
• The Brauer-Manin Obstruction and III[2]
• On formulas of one variable in intuitionistic propositional calculus
• An ascending chain of S4 logics