Pages that link to "Item:Q732052"

The following pages link to Modal characterisation theorems over special classes of frames (Q732052):

Displaying 20 items.

• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
• Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
• On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994) (← links)
• Complexity of hybrid logics over transitive frames (Q631089) (← links)
• Modal characterisation theorems over special classes of frames (Q732052) (← links)
• On the modal definability of simulability by finite transitive models (Q763328) (← links)
• Tangled modal logic for topological dynamics (Q764267) (← links)
• The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs (Q1643142) (← links)
• The finite model property for logics with the tangle modality (Q1708103) (← links)
• A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
• The monadic theory of finite representations of infinite words (Q2379951) (← links)
• A general Lindström theorem for some normal modal logics (Q2392014) (← links)
• Model theory of XPath on data trees. II: Binary bisimulation and definability (Q2401631) (← links)
• Characterization, definability and separation via saturated models (Q2453534) (← links)
• Some modal aspects of XPath (Q2901192) (← links)
• ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH (Q2909221) (← links)
• A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
• (Q3384064) (← links)
• INQUISITIVE BISIMULATION (Q5000255) (← links)
• COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)