Pages that link to "Item:Q2503403"

The following pages link to Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403):

Displaying 10 items.

• On the modal definability of simulability by finite transitive models (Q763328) (← links)
• Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
• On dynamic topological and metric logics (Q865049) (← links)
• A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
• Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
• The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
• COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
• The ω-Regular Post Embedding Problem (Q5458353) (← links)
• Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems (Q5458840) (← links)
• Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)