On algebraic and topological semantics of the modal logic of common knowledge S4CI

Documenti analoghi

• Locally tabular products of modal logics
  di: Shapirovsky, Ilya B., et al.
  Pubblicazione: (2024)
• On distance logics of Euclidean spaces
  di: Agnew, Gabriel, et al.
  Pubblicazione: (2025)
• Sufficient conditions for local tabularity of a polymodal logic
  di: Shapirovsky, Ilya B.
  Pubblicazione: (2022)
• Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
  di: Knudstorp, Søren Brinck
  Pubblicazione: (2025)
• Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
  di: Holliday, Wesley H.
  Pubblicazione: (2022)