The following pages link to (Q4993769):
Displaying 10 items.
- Logical equations in monadic logic (Q843613) (← links)
- Pure second-order logic with second-order identity (Q989416) (← links)
- Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic (Q1105584) (← links)
- Relations in monadic third-order logic (Q1372940) (← 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)
- Second-order logic on equivalence relations (Q3643314) (← links)
- Quantitative Monadic Second-Order Logic (Q5271046) (← links)
- On the completeness and the decidability of strictly monadic second‐order logic (Q6047662) (← links)
