Pages that link to "Item:Q714726"
From MaRDI portal
The following pages link to Some characterization and preservation theorems in modal logic (Q714726):
Displaying 18 items.
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- On the modal definability of simulability by finite transitive models (Q763328) (← links)
- The preservation of coherence (Q1077400) (← links)
- Notes on modal definability (Q1119622) (← links)
- Modal logic over finite structures (Q1371313) (← links)
- Characterizations of negative definability in modal logic (Q1577354) (← links)
- Modal Horn classes (Q1577357) (← links)
- Basic logic, K4, and persistence (Q1970919) (← links)
- Elementary classes in basic modal logic (Q1975162) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Defining subdirect product closed classes in infinitary logic (Q2377305) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\) (Q2744362) (← links)
- On reduced products of Kripke models (Q3726099) (← links)
- Local Goldblatt–Thomason theorem (Q4644604) (← links)
- Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic (Q5448848) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)
