The following pages link to Modal correspondence for models (Q1267083):
Displaying 11 items.
- On the modal definability of simulability by finite transitive models (Q763328) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Finite models constructed from canonical formulas (Q2462682) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- (Q3099659) (← links)
- Modalized observers (Q3329305) (← links)
- Modal Ecthesis (Q4276122) (← links)
- (Q4394916) (← links)
- Results in modal correspondence theory for possibility semantics (Q4555450) (← links)
- Modal correspondence theory in the class of all Euclidean frames (Q4684354) (← links)