Szukaj
Wyświetlanie pozycji 1-4 z 4
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.
From Intuitionism to Brouwer's Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication ...