Monadic Second Order Logic with Measure and Category Quantifiers - Archive ouverte HAL
Article Dans Une Revue Logical Methods in Computer Science Année : 2018

Monadic Second Order Logic with Measure and Category Quantifiers

Résumé

We investigate the extension of Monadic Second Order logic, interpreted over infinite words and trees, with generalized "for almost all" quantifiers interpreted using the notions of Baire category and Lebesgue measure.

Domaines

Informatique [cs] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
1702.04769 (1).pdf (478.76 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Matteo Mio  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01872169

Soumis le : mardi 11 septembre 2018-16:45:20

Dernière modification le : mercredi 24 juillet 2024-14:49:09

Archivage à long terme le : mercredi 12 décembre 2018-16:07:39

Télécharger pour visualiser

Dates et versions

hal-01872169 , version 1 (11-09-2018)

Identifiants

Citer

Matteo Mio, Micha L Skrzypczak, Henryk Michalewski. Monadic Second Order Logic with Measure and Category Quantifiers. Logical Methods in Computer Science, 2018, 14, pp.1 - 29. ⟨10.23638/LMCS-14(2:2)2018⟩. ⟨hal-01872169⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 UDL
45 Consultations
46 Téléchargements

Altmetric

Partager

More