A consistent prepositional logic without any finite models

DOI10.2307/2273785MaRDI QIDQ3680807zbMATH OpenOpenAlexFDO

Authors 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

finite model propertymodal logicpositive logic

Mathematics Subject Classification ID

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

Recommendations

• Finite model property of normal modal logics and constant formulas: an example
• ANSWER TO A QUESTION SUGGESTED BY SCHUMM
• A model existence theorem in infinitary propositional modal logic
• scientific article; zbMATH DE number 2072512
• Finite model property for negative modalities

Cites work

• Some structure results for propositional calculi

Cited in

(8)

• The finite model property and recursive bounds on the size of countermodels
• A consistent theory of attributes in a logic without contraction
• A first-order logic with no logical constants
• ANSWER TO A QUESTION SUGGESTED BY SCHUMM
• A Consistent Higher-Order Theory Without a (Higher-Order) Model
• scientific article; zbMATH DE number 1163924 (Why is no real title available?)
• scientific article; zbMATH DE number 753769 (Why is no real title available?)
• The pleasures of anticipation: Enriching intuitionistic logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3680807)