Expressive power of monadic logics on words, trees, pictures, and graphs
From MaRDI portal
Publication:3086932
zbMATH Open1244.03118MaRDI QIDQ3086932FDOQ3086932
Authors: Oliver Matz, Nicole Schweikardt 
Publication date: 30 March 2011
Recommendations
Cited In (18)
- Subshifts, Languages and Logic
- A duality theoretic view on limits of finite structures
- Counting on CTL\(^*\): On the expressive power of monadic path logic
- Expressiveness and complexity of graph logic
- Title not available (Why is that?)
- A logical approach to locality in pictures languages
- Title not available (Why is that?)
- Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures
- Second-order propositional modal logic and monadic alternation hierarchies
- Regular sets over extended tree structures
- Title not available (Why is that?)
- Monadic structures over an ordered universal random graph and finite automata
- Where first-order and monadic second-order logic coincide
- Prefix-Recognizable Graphs and Monadic Logic
- Title not available (Why is that?)
- Subshifts as models for MSO logic
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees
- Computer Science Logic
This page was built for publication: Expressive power of monadic logics on words, trees, pictures, and graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3086932)
