The following pages link to (Q4866342):
Displayed 5 items.
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Games and total Datalog\(^{\lnot}\) queries (Q1575136) (← links)
- A double arity hierarchy theorem for transitive closure logic (Q1913297) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- (Q5018506) (← links)