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

Thumbnail
View/Open
Date
2015
Author
Kostrzycka, Zofia
Metadata
Show full item record
Abstract
Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.
Sponsor
Supported by the NCN, research grant DEC-2013/09/B/HS1/00701.
URI
http://hdl.handle.net/11089/17907
Collections