Entropy of formulas

Archive for Mathematical Logic 48 (6):515-522 (2009)
  Copy   BIBTEX

Abstract

A probability distribution can be given to the set of isomorphism classes of models with universe {1, ..., n} of a sentence in first-order logic. We study the entropy of this distribution and derive a result from the 0–1 law for first-order sentences

Categories

Keywords

Reprint years

DOI

10.1007/s00153-009-0135-5

Links

PhilArchive



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

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

A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes.Michael C. Laskowski & Saharon Shelah - 2019 - Archive for Mathematical Logic 58 (1-2):99-118.
Equivocation Axiom on First Order Languages.Soroush Rafiee Rad - 2017 - Studia Logica 105 (1):121-152.
SO(∀∃^*) Sentences and Their Asymptotic Probabilities.Eric Rosen & Jerzy Tyszkiewicz - 2000 - Mathematical Logic Quarterly 46 (4):435-452.
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.
Counterexamples of the 0-1 law for fragments of existential second-order logic: An overview.Jean-Marie le Bars - 2000 - Bulletin of Symbolic Logic 6 (1):67-82.
Some Remarks on Real Numbers Induced by First-Order Spectra.Sune Kristian Jakobsen & Jakob Grue Simonsen - 2016 - Notre Dame Journal of Formal Logic 57 (3):355-368.
Determining Maximal Entropy Functions for Objective Bayesian Inductive Logic.Juergen Landes, Soroush Rafiee Rad & Jon Williamson - 2022 - Journal of Philosophical Logic 52 (2):555-608.
The Entropy-Limit (Conjecture) for $$Sigma _2$$ Σ 2 -Premisses.Jürgen Landes - 2020 - Studia Logica 109 (2):423-442.
Towards the entropy-limit conjecture.Jürgen Landes, Soroush Rafiee Rad & Jon Williamson - 2020 - Annals of Pure and Applied Logic 172 (2):102870.
On Computation of Entropy of Hex-Derived Network.Pingping Song, Haidar Ali, Muhammad Ahsan Binyamin, Bilal Ali & Jia-Bao Liu - 2021 - Complexity 2021:1-18.

Analytics

Added to PP
2013-12-01

Downloads
86 (#192,658)

6 months
4 (#1,005,419)

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

Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.

Add more references