The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum

DOI10.3103/S002713221104005XzbMath1304.03050OpenAlexW1997422883MaRDI QIDQ2513225

M. M. Izmailov

Publication date: 2 February 2015

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s002713221104005x

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other classical set theory (including functions, relations, and set algebra) (03E20) Combined logics (03B62)

Cites Work

• What is the upper part of the lattice of bimodal logics?
• All normal extensions of S5-squared are finitely axiomatizable

This page was built for publication: The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum