Pages that link to "Item:Q3520232"
From MaRDI portal
The following pages link to General Models and Completeness of First-Order Modal -calculus (Q3520232):
Displaying 5 items.
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (Q5079741) (← links)
- (Q5144634) (← links)