Modal logics with LM-axioms

DOI10.1007/BF01674781zbMath0427.03013OpenAlexW2007622246WikidataQ114693808 ScholiaQ114693808MaRDI QIDQ1136748

Vladimir Vladimirovich Rybakov

Publication date: 1979

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

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

zbMATH Keywords

intuitionistic logicmodal logicsdecidable logicsextensions of K4finitely approximable logicsLM-axioms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Related Items (1)

On Finite Model Property for Admissible Rules

Cites Work

• A class of decidable intermediate propositional logics
• Propositional Calculus and Realizability
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal logics with LM-axioms