The Modal Logic of Cluster-Decomposable Kripke Interpretations
Tiomkin, Michael ; Kaminski, Michael
Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, p. 511-520 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We deal with the modal logic of cluster-decomposable Kripke interpretations, present an axiomatization, and prove some additional results regarding this logic.
Publié le : 2007-10-14
Classification:  modal logic,  cluster-decomposable Kripke interpretations,  03B42,  03B45 
@article{1193667708,
     author = {Tiomkin, Michael and Kaminski, Michael},
     title = {The Modal Logic of Cluster-Decomposable Kripke Interpretations},
     journal = {Notre Dame J. Formal Logic},
     volume = {48},
     number = {1},
     year = {2007},
     pages = { 511-520},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1193667708}
}

Tiomkin, Michael; Kaminski, Michael. The Modal Logic of Cluster-Decomposable Kripke Interpretations. Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, pp.  511-520. http://gdmltest.u-ga.fr/item/1193667708/