Now showing items 1-3 of 3
On interpolation in next (kb.alt(2))
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)
Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.
Interpolation in Normal Extensions of the Brouwer Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)
The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.