Notes on modal definability

DOI10.1305/ndjfl/1093634994zbMath0671.03013OpenAlexW2068215732MaRDI QIDQ1119622

J. F. A. K. van Benthem

Publication date: 1989

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634994

zbMATH Keywords

propositional modal logicsKripke modelsubframe logicultrafilter extension

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Properties of classes of models (03C52)

Related Items (10)

Covering-based rough sets and modal logics. II. ⋮ Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Frame definability in finitely valued modal logics ⋮ A Road to Ultrafilter Extensions ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ On ultrafilter extensions of first-order models and ultrafilter interpretations ⋮ A system of dynamic modal logic ⋮ Characterizing Relative Frame Definability in Team Semantics via the Universal Modality

This page was built for publication: Notes on modal definability