Some results concerning finite model separability of propositional calculi
From MaRDI portal
Publication:1239307
DOI10.1007/BF02120880zbMath0361.02019MaRDI QIDQ1239307
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Some results concerning finite models for sentential calculi
- The Finite Model Property and Subsystems of Classical Propositional Calculus
- A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem
- Concerning the Finite Model Property for Propositional Calculi
- The decidability of certain intermediate propositional logics
- Some structure results for propositional calculi