Download PDFOpen PDF in browser

On modal components of the S4-logics

4 pagesPublished: July 28, 2014

Abstract

We consider the representation of each extension of the modal logic S4 as sum of two components. The first component in such a representation is always included in Grzegorczyk logic and hence contains "modal resources" of the logic in question, while the second one uses essentially the resources of a corresponding intermediate logic. We prove some results towards the conjecture that every S4-logic has a representation with the least component of the first kind.

Keyphrases: lattice homomorphism., lattice of intermediate logics, lattice of the normal extensions of the modal logic s4

In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 163-166.

BibTeX entry
@inproceedings{TACL2013:modal_components_S4_logics,
  author    = {Alexei Y Muravitsky},
  title     = {On modal components of the S4-logics},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xcS},
  doi       = {10.29007/87kz},
  pages     = {163-166},
  year      = {2014}}
Download PDFOpen PDF in browser