文章基本信息

标题：Monadic Second Order Logic with Measure and Category Quantifiers
本地全文：下载
作者：Michalewski, Henryk ; Skrzypczak, Michał ; Mio, Matteo 等
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2018
卷号：14
期号：2
DOI：10.23638/LMCS-14(2:2)2018
语种：English
出版社：Technical University of Braunschweig
摘要：We investigate the extension of Monadic Second Order logic, interpreted overinfinite words and trees, with generalized "for almost all" quantifiersinterpreted using the notions of Baire category and Lebesgue measure.
关键词：Computer Science - Logic in Computer Science;Computer Science - Formal Languages;Automata Theory;Mathematics - Logic