Modal reduction principles

DOI10.2307/2272228zbMath0337.02014OpenAlexW4241245489MaRDI QIDQ4103507

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/2272228

Mathematics Subject Classification ID

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

Related Items (6)

Algebraic modal correspondence: Sahlqvist and beyond ⋮ 1996–1997 Winter Meeting of the Association for Symbolic Logic ⋮ Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) ⋮ The Modal Formula (†) $\square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p$ Is Not First-Order Definable ⋮ Modal languages and bounded fragments of predicate logic ⋮ Unnamed Item

This page was built for publication: Modal reduction principles