Finite and finitely separable intermediate propositional logics

DOI10.2307/2274513zbMath0676.03015OpenAlexW4247780363MaRDI QIDQ3830978

Fabio Bellissima

Publication date: 1988

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274513

zbMATH Keywords

finite model propertyfinite separabilityKripke-framesintermediate finite model

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

Yankov Characteristic Formulas (An Algebraic Account), Remark on a finite axiomatization of finite intermediate propositional logics, Two classes of intermediate propositional logics without disjunction property, Post complete and 0-axiomatizable modal logics