Pages that link to "Item:Q732052"

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

Displaying 30 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 expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747) (← 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)
• Modal logic over finite structures (Q1371313) (← 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)
• Modal and guarded characterisation theorems over finite transition systems (Q1886323) (← links)
• Basic logic, K4, and persistence (Q1970919) (← links)
• A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
• On generalized van Benthem-type characterizations (Q2358625) (← 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)
• Semantical characterizations for irreflexive and generalized modal languages (Q2472609) (← links)
• Some modal aspects of XPath (Q2901192) (← links)
• On modal \(\mu \)-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)
• A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames (Q3520237) (← links)
• Modal frame characterization by way of auxiliary modalities (Q4222187) (← links)
• INQUISITIVE BISIMULATION (Q5000255) (← links)
• COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
• (Q5128269) (← links)
• Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)