On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames

Thumbnail
Oglądaj/Otwórz
Data
2015
Autor
Kostrzycka, Zofia
Metadata
Pokaż pełny rekord
Streszczenie
Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.
Instytucja finansująca badania
Supported by the NCN, research grant DEC-2013/09/B/HS1/00701.
URI
http://hdl.handle.net/11089/17907
Collections