A consistent prepositional logic without any finite models

DOI10.2307/2273785zbMath0566.03008OpenAlexW2052355854MaRDI QIDQ3680807

C. G. McKay

Publication date: 1985

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

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

zbMATH Keywords

modal logicfinite model propertypositive logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

The pleasures of anticipation: Enriching intuitionistic logic

Cites Work

• Some structure results for propositional calculi

This page was built for publication: A consistent prepositional logic without any finite models