The finite frame property of some extensions of the pure logic of necessitation

Documenti analoghi

• Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
  di: Kurahashi, Taishi
  Pubblicazione: (2024)
• Arithmetical completeness for some extensions of the pure logic of necessitation
  di: Kogure, Haruka
  Pubblicazione: (2024)
• Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
  di: Sato, Yuta
  Pubblicazione: (2025)
• Modal logical aspects of provability predicates and consistency statements
  di: Kogure, Haruka, et al.
  Pubblicazione: (2025)
• Finite Kripke models and provability interpretations in quantified modal logic
  di: Kogure, Haruka, et al.
  Pubblicazione: (2026)