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

Journal of Philosophical Logic 12 (4):477 - 480 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00249263

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: William Gustason, Dolph E. Ulrich, Elementary Symbolic Logic. [REVIEW]James Moor & Jack Nelson - 1978 - Journal of Symbolic Logic 43 (2):382-383.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
The quantifier complexity of polynomial‐size iterated definitions in first‐order logic.Samuel R. Buss & Alan S. Johnson - 2010 - Mathematical Logic Quarterly 56 (6):573-590.
William Gustason and Dolph E. Ulrich. Elementary symbolic logic. Holt, Rinehart and Winston, Inc., New York etc. 1973, viii + 280 pp. [REVIEW]James Moor & Jack Nelson - 1978 - Journal of Symbolic Logic 43 (2):382-383.
Recursive inseparability for residual Bounds of finite algebras.Ralph McKenzie - 2000 - Journal of Symbolic Logic 65 (4):1863-1880.
Decidability and the finite model property.Alasdair Urquhart - 1981 - Journal of Philosophical Logic 10 (3):367 - 370.
Recursive Inseparability for Residual Bounds of Finite Algebras.Ralph Mckenzie - 2000 - Journal of Symbolic Logic 65 (4):1863-1880.
The Kuznetsov-Gerčiu and Rieger-Nishimura logics.Guram Bezhanishvili, Nick Bezhanishvili & Dick de Jongh - 2008 - Logic and Logical Philosophy 17 (1-2):73-110.
A finite model property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.
Turning decision procedures into disprovers.André Rognes - 2009 - Mathematical Logic Quarterly 55 (1):87-104.

Analytics

Added to PP
2009-01-28

Downloads
50 (#309,775)

6 months
8 (#507,683)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.
Answer to a question raised by Harrop.Dolph Ulrich - 1982 - Bulletin of the Section of Logic 11 (3/4):140-141.

Add more references