Kawano, Tomoaki Labelled sequent calculus for orthologic. (English) Zbl 1437.03179 Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 4, 217-232 (2018). MSC: 03G12 03B25 03F05 PDFBibTeX XMLCite \textit{T. Kawano}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 4, 217--232 (2018; Zbl 1437.03179) Full Text: DOI
Indrzejczak, Andrzej Simple decision procedure for \(\mathbf {S5}\) in standard cut-free sequent calculus. (English) Zbl 1423.03058 Bull. Sect. Log., Univ. Łódź, Dep. Log. 45, No. 2, 125-140 (2016). MSC: 03B45 03F05 03B25 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 45, No. 2, 125--140 (2016; Zbl 1423.03058) Full Text: DOI
Jarmużek, Tomasz Tableau system for logic of categorial propositions and decidability. (English) Zbl 1286.03109 Bull. Sect. Log., Univ. Łódź, Dep. Log. 37, No. 3-4, 223-231 (2008). MSC: 03B60 03B25 03B35 PDFBibTeX XMLCite \textit{T. Jarmużek}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 37, No. 3--4, 223--231 (2008; Zbl 1286.03109) Full Text: Link
Miyazaki, Yutaka Normal forms for modal logics KB and KTB. (English) Zbl 1286.03067 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 3-4, 183-194 (2007). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{Y. Miyazaki}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 3--4, 183--194 (2007; Zbl 1286.03067) Full Text: Link
Kouznetsov, Andrei Deduction chains and DC-like decision procedure for guarded logic. (English) Zbl 1058.03018 Bull. Sect. Log., Univ. Łódź, Dep. Log. 33, No. 1, 53-65 (2004). Reviewer: Branislav Boričić (Beograd) MSC: 03B25 03B20 PDFBibTeX XMLCite \textit{A. Kouznetsov}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 33, No. 1, 53--65 (2004; Zbl 1058.03018)
Mouri, Motohiko Constructing counter-models for modal logic K4 from refutation trees. (English) Zbl 1036.03015 Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 2, 81-90 (2002). MSC: 03B45 03B25 03B35 PDFBibTeX XMLCite \textit{M. Mouri}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 2, 81--90 (2002; Zbl 1036.03015)
Schmidt, Renate A.; Tishkovsky, Dmitry On axiomatic products of PDL and S5: Substitution, tests and knowledge. (English) Zbl 1037.03032 Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 1, 27-36 (2002). MSC: 03B70 03B45 03B42 PDFBibTeX XMLCite \textit{R. A. Schmidt} and \textit{D. Tishkovsky}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 1, 27--36 (2002; Zbl 1037.03032)
Rutskiy, A. N. Decidability of modal logics S4\(\oplus \alpha_N\), S4\(\oplus \xi_{N+1}\) w.r.t. admissible inference rules. (English) Zbl 1036.03010 Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 4, 181-189 (2001). MSC: 03B25 03B45 PDFBibTeX XMLCite \textit{A. N. Rutskiy}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 4, 181--189 (2001; Zbl 1036.03010)
Kamide, Norihiro A note on decision problems for implicational sequent calculi. (English) Zbl 1037.03051 Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 3, 129-138 (2001). MSC: 03F05 03B25 PDFBibTeX XMLCite \textit{N. Kamide}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 3, 129--138 (2001; Zbl 1037.03051)
Łukowski, Piotr A reductive approach to Ł-decidability. (English) Zbl 0957.03010 Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 3, 171-177 (1999). MSC: 03B20 03B25 PDFBibTeX XMLCite \textit{P. Łukowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 3, 171--177 (1999; Zbl 0957.03010)
Golovanov, M. I. Bimodal propositional logic \(S5_2C_n\). (English) Zbl 0908.03024 Bull. Sect. Log., Univ. Łódź, Dep. Log. 26, No. 3, 118-125 (1997). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B45 PDFBibTeX XMLCite \textit{M. I. Golovanov}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 26, No. 3, 118--125 (1997; Zbl 0908.03024)
Kolany, Adam Representation theorems for hypergraph satisfiability. (English) Zbl 0874.03011 Bull. Sect. Log., Univ. Łódź, Dep. Log. 26, No. 1, 12-19 (1997). MSC: 03B25 05C65 PDFBibTeX XMLCite \textit{A. Kolany}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 26, No. 1, 12--19 (1997; Zbl 0874.03011)
da Costa, Newton C. A.; Doria, Francisco A.; Tsuji, Marcelo The undecidability of formal definitions in the theory of finite groups. (English) Zbl 0829.03008 Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 2, 56-63 (1995). MSC: 03B25 03E75 20F10 20F16 03E25 20A15 PDFBibTeX XMLCite \textit{N. C. A. da Costa} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 2, 56--63 (1995; Zbl 0829.03008)
Wolter, Frank Decidability of tense logics. (English) Zbl 0819.03012 Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 1, 46-50 (1995). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{F. Wolter}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 1, 46--50 (1995; Zbl 0819.03012)
Andréka, Hajnal; Givant, Steven; Németi, István Decision problems for equational theories of relation algebras. (English) Zbl 0801.03046 Bull. Sect. Log., Univ. Łódź, Dep. Log. 23, No. 2, 47-52 (1994). MSC: 03G15 03B25 PDFBibTeX XMLCite \textit{H. Andréka} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 23, No. 2, 47--52 (1994; Zbl 0801.03046)