Some Remarks on Counting Propositional Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail (Preprint/Prepublication) Année : 2023

Some Remarks on Counting Propositional Logic

Résumé

Counting propositional logic was recently introduced in relation to randomized computation and shown able to logically characterize the full counting hierarchy [1]. In this paper we aim to clarify the intuitive meaning and expressive power of its univariate fragment. On the one hand, we make the connection between this logic and stochastic experiments explicit, proving that the counting language can simulate any (and only) event associated with dyadic distributions. On the other, we provide an effective procedure to measure the probability of counting formulas.
Fichier principal
Vignette du fichier
AIxIA.pdf (270.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03921651 , version 1 (04-01-2023)

Identifiants

  • HAL Id : hal-03921651 , version 1

Citer

Melissa Antonelli. Some Remarks on Counting Propositional Logic. 2023. ⟨hal-03921651⟩
20 Consultations
7 Téléchargements

Partager

Gmail Facebook X LinkedIn More