Probabilities on finite models

Journal of Symbolic Logic 41 (1):50-58 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272945

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

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

Fagin Ronald. Probabilities on finite models.W. Taylor - 1985 - Journal of Symbolic Logic 50 (4):1073-1076.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp. [REVIEW]Rohit Parikh - 1997 - Journal of Symbolic Logic 62 (4):1484-1487.
R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
Finite variable logic, stability and finite models.Marko Djordjevic - 2001 - Journal of Symbolic Logic 66 (2):837-858.
Review: Ronald Harrop, The Finite Model Property and Subsystems of Classical Propositional Calculus. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):181-181.
Completeness theorem for propositional probabilistic models whose measures have only finite ranges.Radosav Dordević, Miodrag Rašković & Zoran Ognjanović - 2004 - Archive for Mathematical Logic 43 (4):557-563.
Strong 0-1 laws in finite model theory.Wafik Boulos Lotfallah - 2000 - Journal of Symbolic Logic 65 (4):1686-1704.
Reasoning about knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. [REVIEW]Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (4):469-473.
Finite models for inequations.M. D. Gladstone - 1966 - Journal of Symbolic Logic 31 (4):581-592.
Finite Models of Identities.Sherman K. Stein & A. K. Austin - 1971 - Journal of Symbolic Logic 36 (1):160-161.

Analytics

Added to PP
2009-01-28

Downloads
75 (#276,337)

6 months
5 (#1,015,253)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Representation and Invariance of Scientific Structures.Patrick Suppes - 2002 - CSLI Publications (distributed by Chicago University Press).
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.

View all 24 citations / Add more citations

References found in this work

Logical Foundations of Probability. [REVIEW]Arthur W. Burks - 1951 - Journal of Philosophy 48 (17):524-535.

Add more references