Modal formulas are either elementary or not ΣΔ-elementary

DOI10.2307/2272242zbMath0337.02015OpenAlexW4245618631MaRDI QIDQ4103508

J. F. A. K. van Benthem

Publication date: 1976

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272242

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (6)

Varieties of complex algebras ⋮ On Sahlqvist formulas in relevant logic ⋮ Mathematical modal logic: A view of its evolution ⋮ A dichotomy for some elementarily generated modal logics ⋮ Canonical modal logics and ultrafilter extensions ⋮ Modal languages for topology: expressivity and definability

This page was built for publication: Modal formulas are either elementary or not ΣΔ-elementary