scientific article; zbMATH DE number 3630717

zbMATH Open0406.03039MaRDI QIDQ4192037FDOQ4192037

Authors: Vladimir Rybakov 

Publication date: 1977

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

Finite Model PropertyNon-Compact Recursively Axiomatizable Extensions of S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models of other mathematical theories (03C65)

Cited In (5)

• Modal logics with LM-axioms
• A decidable noncompact extension of the logic S4
• On non-compact logics in NEXT(KTB)
• Syntax and semantics of superintuitionistic logics
• Completeness of modal logics with prefinite width

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