On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
Bulletin of the Section of Logic, Tome 44 (2015) no. 3-4
Cet article a éte moissonné depuis la source Library of Science
Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.
@article{BSL_2015_44_3-4_a2,
author = {Kostrzycka, Zofia},
title = {On {Halld\'en} {Completeness} of {Modal} {Logics} {Determined} by {Homogeneous} {Kripke} {Frames}},
journal = {Bulletin of the Section of Logic},
year = {2015},
volume = {44},
number = {3-4},
url = {http://geodesic.mathdoc.fr/item/BSL_2015_44_3-4_a2/}
}
Kostrzycka, Zofia. On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames. Bulletin of the Section of Logic, Tome 44 (2015) no. 3-4. http://geodesic.mathdoc.fr/item/BSL_2015_44_3-4_a2/