Pages that link to "Item:Q1371313"
From MaRDI portal
The following pages link to Modal logic over finite structures (Q1371313):
Displaying 18 items.
- Modal characterisation theorems over special classes of frames (Q732052) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- Modal and guarded characterisation theorems over finite transition systems (Q1886323) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Bisimulation invariant monadic-second order logic in the finite (Q2182315) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- The monadic theory of finite representations of infinite words (Q2379951) (← links)
- Model theory of XPath on data trees. II: Binary bisimulation and definability (Q2401631) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- (Q3384064) (← links)
- On Preservation Theorems for Two-Variable Logic (Q4264532) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Requirements, specifications, and minimal refinement (Q4916211) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)
- (Q5091133) (← links)
- Schema Mappings: A Case of Logical Dynamics in Database Theory (Q5249666) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
