Monadic Second Order Logic with Measure and Category Quantifiers - Archive ouverte HAL Accéder directement au contenu
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.
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
Loading...

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⟩
37 Consultations
29 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More