Modal reduction principles

DOI10.2307/2272228MaRDI QIDQ4103507zbMATH OpenOpenAlexFDO

Authors Johan van Benthem

Publication date 1976

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

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

Mathematics Subject Classification ID

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

Cited in

(10)

• Modal languages and bounded fragments of predicate logic
• Algebraic modal correspondence: Sahlqvist and beyond
• The Modal Formula (†) \square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p Is Not First-Order Definable
• 1996–1997 Winter Meeting of the Association for Symbolic Logic
• Sahlqvist via translation
• Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\)
• Modal reduction principles: a parametric shift to graphs
• The McKinsey axiom on weakly transitive frames
• Modal reduction principles across relational semantics
• Decidability of quasi-dense modal logics

This page was built for publication: Modal reduction principles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4103507)