Perkov, Tin; Vuković, Mladen Filtrations of generalized Veltman models. (English) Zbl 1359.03043 Math. Log. Q. 62, No. 4-5, 412-419 (2016). Reviewer: Roman Murawski (Poznań) MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{T. Perkov} and \textit{M. Vuković}, Math. Log. Q. 62, No. 4--5, 412--419 (2016; Zbl 1359.03043) Full Text: DOI
Wang, San-Min The finite model property for semilinear substructural logics. (English) Zbl 1303.03056 Math. Log. Q. 59, No. 4-5, 268-273 (2013). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B47 03B52 03C52 PDFBibTeX XMLCite \textit{S.-M. Wang}, Math. Log. Q. 59, No. 4--5, 268--273 (2013; Zbl 1303.03056) Full Text: DOI
Hsieh, Ai-Ni; Raftery, James G. A finite model property for RMI\(_{\min}\). (English) Zbl 1110.03011 Math. Log. Q. 52, No. 6, 602-612 (2006). MSC: 03B47 03G25 06F05 03B25 06B20 08C15 PDFBibTeX XMLCite \textit{A.-N. Hsieh} and \textit{J. G. Raftery}, Math. Log. Q. 52, No. 6, 602--612 (2006; Zbl 1110.03011) Full Text: DOI
Kamide, Norihiro A spatial modal logic with a location interpretation. (English) Zbl 1079.03010 Math. Log. Q. 51, No. 4, 331-341 (2005). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, Math. Log. Q. 51, No. 4, 331--341 (2005; Zbl 1079.03010) Full Text: DOI
Buszkowski, Wojciech Finite models of some substructural logics. (English) Zbl 0992.03029 Math. Log. Q. 48, No. 1, 63-72 (2002). MSC: 03B47 PDFBibTeX XMLCite \textit{W. Buszkowski}, Math. Log. Q. 48, No. 1, 63--72 (2002; Zbl 0992.03029) Full Text: DOI
Rybakov, Vladimir V.; Kiyatkin, Vladimir R.; Oner, Tahsin On finite model property for admissible rules. (English) Zbl 0938.03033 Math. Log. Q. 45, No. 4, 505-520 (1999). Reviewer: B.Boričić (Beograd) MSC: 03B45 PDFBibTeX XMLCite \textit{V. V. Rybakov} et al., Math. Log. Q. 45, No. 4, 505--520 (1999; Zbl 0938.03033) Full Text: DOI
Aoto, Takahito; Shirasu, Hiroyuki On the finite model property of intuitionistic modal logics over MIPC. (English) Zbl 0938.03034 Math. Log. Q. 45, No. 4, 435-448 (1999). Reviewer: B.Boričić (Beograd) MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{T. Aoto} and \textit{H. Shirasu}, Math. Log. Q. 45, No. 4, 435--448 (1999; Zbl 0938.03034) Full Text: DOI
Wolter, Frank Properties of tense logics. (English) Zbl 0871.03010 Math. Log. Q. 42, No. 4, 481-500 (1996). Reviewer: A.V.Chagrov (Tver’) MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{F. Wolter}, Math. Log. Q. 42, No. 4, 481--500 (1996; Zbl 0871.03010) Full Text: DOI
García Olmedo, Francisco M.; Rodríguez Salas, Antonio J. A structure theorem for free temporal algebras. (English) Zbl 0820.03040 Math. Log. Q. 41, No. 2, 249-256 (1995). MSC: 03G25 03B45 PDFBibTeX XMLCite \textit{F. M. García Olmedo} and \textit{A. J. Rodríguez Salas}, Math. Log. Q. 41, No. 2, 249--256 (1995; Zbl 0820.03040) Full Text: DOI
Zakharyaschev, Michael; Alekseev, Alexander All finitely axiomatizable normal extensions of K4.3 are decidable. (English) Zbl 0818.03008 Math. Log. Q. 41, No. 1, 15-23 (1995). Reviewer: S.Miura (Okazaki / Aichi) MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{M. Zakharyaschev} and \textit{A. Alekseev}, Math. Log. Q. 41, No. 1, 15--23 (1995; Zbl 0818.03008) Full Text: DOI
Rybakov, Vladimir V. Intermediate logics preserving admissible inference rules of Heyting calculus. (English) Zbl 0807.03017 Math. Log. Q. 39, No. 3, 403-415 (1993). Reviewer: M.Zakharyashev (Moskva) MSC: 03B55 03B20 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Math. Log. Q. 39, No. 3, 403--415 (1993; Zbl 0807.03017) Full Text: DOI
Kracht, Marcus Prefinitely axiomatizable modal and intermediate logics. (English) Zbl 0799.03011 Math. Log. Q. 39, No. 3, 301-322 (1993). Reviewer: M.Kracht (Berlin) MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{M. Kracht}, Math. Log. Q. 39, No. 3, 301--322 (1993; Zbl 0799.03011) Full Text: DOI Link