First-order definability in modal logic

DOI10.2307/2272267zbMath0311.02029OpenAlexW2019891739MaRDI QIDQ4068700

Robert Goldblatt

Publication date: 1975

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

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99)

Related Items

Varieties of complex algebras, Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames, On Sahlqvist formulas in relevant logic, Factor varieties, Mathematical modal logic: A view of its evolution, A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics, Elementary canonical formulae: extending Sahlqvist's theorem, Expressivity of second order propositional modal logic, The Modal Formula (†) $\square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p$ Is Not First-Order Definable, Modal languages for topology: expressivity and definability

Cites Work

• Non-standard analysis
• Unnamed Item