The finite model property and recursive bounds on the size of countermodels

DOI10.1007/BF00249263zbMath0575.03025OpenAlexW1982084966MaRDI QIDQ1063587

Dolph Ulrich

Publication date: 1983

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

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

zbMATH Keywords

recursive functionfinitely axiomatized propositional calculusrecursively enumerable set of theorems

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Computable structure theory, computable model theory (03C57)

Cites Work

• Some structure results for propositional calculi

This page was built for publication: The finite model property and recursive bounds on the size of countermodels