The following pages link to (Q2904060):
Displayed 6 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- Chain logic and Shelah's infinitary logic (Q2066130) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- (Q4603451) (← links)