The following pages link to Notes on modal definability (Q1119622):
Displaying 23 items.
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Some characterization and preservation theorems in modal logic (Q714726) (← links)
- On the relationship between one-point frames and degrees of unsatisfiability of modal formulas (Q1057257) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Covering-based rough sets and modal logics. II. (Q1642771) (← links)
- Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- On ultrafilter extensions of first-order models and ultrafilter interpretations (Q2042734) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic (Q3121033) (← links)
- A Road to Ultrafilter Extensions (Q3305690) (← links)
- Modal Expressivity and Definability over Sets (Q3655242) (← links)
- Modal Undefinability in Some Alternative Leibnizian Frames (Q3798637) (← links)
- Local Goldblatt–Thomason theorem (Q4644604) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics (Q5208114) (← links)
- Note on extending congruential modal logics (Q5963201) (← links)
- Frame definability in finitely valued modal logics (Q6040618) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)
