Pages that link to "Item:Q4923546"
From MaRDI portal
The following pages link to Monadic Second Order Logic And Its Fragments (Q4923546):
Displaying 12 items.
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic (Q1105584) (← links)
- Logical laws for existential monadic second-order sentences with infinite first-order parts (Q1707156) (← links)
- Computability by monadic second-order logic (Q2656341) (← links)
- Asymptotic Monadic Second-Order Logic (Q2922005) (← links)
- Monadic Second-Order Logic with Arbitrary Monadic Predicates (Q2922023) (← links)
- Fusion in relational structures and the verification of monadic second-order properties (Q3146251) (← links)
- On Monadic Second-Order Theories of Multidominance Structures (Q3585001) (← links)
- (Q4474837) (← links)
- Monadic Second Order Logic with Measure and Category Quantifiers (Q4637695) (← links)
- (Q4993769) (← links)
- Quantitative Monadic Second-Order Logic (Q5271046) (← links)