Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics

DOI10.1007/BF01735738zbMath0496.03012MaRDI QIDQ1170234

A. Yu. Muravitskij

Publication date: 1982

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicfinite model propertyintuitionistic propositional logicconservative extensionformal arithmetical provability logicp-morphism

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99) Intermediate logics (03B55)

Cites Work

• Kripke models and intermediate logics
• ON FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS
• Logics containing K4. Part I
• An incomplete logic containing S4
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item