Rimatskiĭ, Vitaliĭ V. An explicit basis for admissible rules of modal logics of finite width. (Russian. English summary) Zbl 1510.03014 J. Sib. Fed. Univ., Math. Phys. 1, No. 1, 83-91 (2008). MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{V. V. Rimatskiĭ}, J. Sib. Fed. Univ., Math. Phys. 1, No. 1, 83--91 (2008; Zbl 1510.03014) Full Text: MNR
Xue, Tao; Xuan, Qichao Proof search and counter model of positive minimal predicate logic. (English) Zbl 1286.03042 Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 87-102 (2008). MSC: 03B35 03B25 68T15 PDFBibTeX XMLCite \textit{T. Xue} and \textit{Q. Xuan}, Electron. Notes Theor. Comput. Sci. 212, 87--102 (2008; Zbl 1286.03042) Full Text: DOI
Tudose, Cristina Computation tree logic and NuSMV model checker. (English) Zbl 1240.68134 Bul. Ştiinţ., Univ. Piteşti, Ser. Mat. Inf. 14, 227-238 (2008). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{C. Tudose}, Bul. Științ., Univ. Pitești, Ser. Mat. Inf. 14, 227--238 (2008; Zbl 1240.68134)
Shapiro, Stewart Reasoning with slippery predicates. (English) Zbl 1161.03005 Stud. Log. 90, No. 3, 313-336 (2008). MSC: 03A05 PDFBibTeX XMLCite \textit{S. Shapiro}, Stud. Log. 90, No. 3, 313--336 (2008; Zbl 1161.03005) Full Text: DOI
Bagheri, Seyed Mohammad; Pourmahdian, Massoud Elementary amalgamation and joint embedding property for intermediate logics. (English) Zbl 1162.03015 Log. J. IGPL 16, No. 6, 561-583 (2008). Reviewer: Osamu Sonobe (Follonica) MSC: 03B55 03B20 03C90 PDFBibTeX XMLCite \textit{S. M. Bagheri} and \textit{M. Pourmahdian}, Log. J. IGPL 16, No. 6, 561--583 (2008; Zbl 1162.03015) Full Text: DOI
Balbiani, Philippe Logical approaches to deontic reasoning: From basic questions to dynamic solutions. (English) Zbl 1161.03009 Int. J. Intell. Syst. 23, No. 10, 1021-1045 (2008). Reviewer: Louis F. Goble (Salem) MSC: 03B45 03B70 68T27 PDFBibTeX XMLCite \textit{P. Balbiani}, Int. J. Intell. Syst. 23, No. 10, 1021--1045 (2008; Zbl 1161.03009) Full Text: DOI
Ellison, Ben; Fleischmann, Jonathan; McGinn, Dan; Ruitenburg, Wim Quantifier elimination for a class of intuitionistic theories. (English) Zbl 1159.03021 Notre Dame J. Formal Logic 49, No. 3, 281-293 (2008). Reviewer: Osamu Sonobe (Follonica) MSC: 03C10 03C35 03C90 03F55 PDFBibTeX XMLCite \textit{B. Ellison} et al., Notre Dame J. Formal Logic 49, No. 3, 281--293 (2008; Zbl 1159.03021) Full Text: DOI
Moniri, Morteza On the hierarchy of intuitionistic bounded arithmetic. (English) Zbl 1147.03032 J. Log. Comput. 18, No. 4, 625-630 (2008). Reviewer: Roman Murawski (Poznań) MSC: 03F30 PDFBibTeX XMLCite \textit{M. Moniri}, J. Log. Comput. 18, No. 4, 625--630 (2008; Zbl 1147.03032) Full Text: DOI
van Ditmarsch, H. P.; Ruan, J.; Verbrugge, R. Sum and product in dynamic epistemic logic. (English) Zbl 1150.03005 J. Log. Comput. 18, No. 4, 563-588 (2008). Reviewer: Giacomo Bonanno (Davis) MSC: 03B42 03B45 68Q60 PDFBibTeX XMLCite \textit{H. P. van Ditmarsch} et al., J. Log. Comput. 18, No. 4, 563--588 (2008; Zbl 1150.03005) Full Text: DOI Link