Reports on Mathematical Logic, Number 52, 2017, pp. 3 - 44
https://doi.org/10.4467/20842589RM.17.001.7139Reports on Mathematical Logic, Number 52, 2017, pp. 45 - 56
https://doi.org/10.4467/20842589RM.17.002.7140Reports on Mathematical Logic, Number 52, 2017, pp. 57 - 68
https://doi.org/10.4467/20842589RM.17.003.7141Reports on Mathematical Logic, Number 52, 2017, pp. 61 - 74
https://doi.org/10.4467/20842589RM.17.004.7142Reports on Mathematical Logic, Number 52, 2017, pp. 75 - 91
https://doi.org/10.4467/20842589RM.17.005.7143Reports on Mathematical Logic, Number 52, 2017, pp. 93 - 124
https://doi.org/10.4467/20842589RM.17.006.7144Słowa kluczowe: linear-time temporal logic, paraconsistent logic, sequent calculus3, non-self-referential paradox, Brandenburger–Keisler paradox, Yablo’s paradox, temporal assumption logic, interactive models, abstract algebraic logic, generalized model, full model, Suszko filter, strong version, truth-equational logic, sentential logics, logical matrices, implicative logics, Suszko congruence, π-Institutions, Wójcicki’s conjecture, Malinowski’s theorem, Nelson’s logic, nonmonotonic inference, decision procedures, refutation systems, relevant logic, natural deduction
