scientific article; zbMATH DE number 6829362

DOI10.4230/LIPICS.STACS.2016.21zbMATH Open1388.03016arXiv1502.04578MaRDI QIDQ4601873FDOQ4601873

Szymon Toruńczyk, Paweł Parys, Mikołaj Bojańczyk

Publication date: 24 January 2018

Full work available at URL: https://arxiv.org/abs/1502.04578

Title of this publication is not available (Why is that?)

zbMATH Keywords

boundsautomatalogicundecidabilityunbounding quantifier

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Cited In (11)

• Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
• Contribution of Warsaw logicians to computational logic
• Title not available (Why is that?)
• Recursion Schemes and the WMSO+U Logic
• The theory of the \(\alpha \) degrees is undecidable
• Delay Games with WMSO$$+$$U Winning Conditions
• Title not available (Why is that?)
• Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints
• The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic
• Title not available (Why is that?)
• Recognisable Languages over Monads

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The ∀∃-theory of ℛ(≤,∨,∧) is undecidable 👍 👎
• The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable 👍 👎
• The theory of the \(\alpha \) degrees is undecidable 👍 👎
• Undecidability of the theory of the lattice \(L^ 0_{sm}\) 👍 👎
• Logic for Programming, Artificial Intelligence, and Reasoning 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4601873)