Koutras, Costas D.; Nomikos, Christos; Peppas, Pavlos On a simple 3-valued modal language and a 3-valued logic of ‘not-fully-justified’ belief. (English) Zbl 1169.03017 Log. J. IGPL 16, No. 6, 591-604 (2008). Reviewer: Max A. Freund (San José) MSC: 03B42 03B45 03B50 68Q17 PDF BibTeX XML Cite \textit{C. D. Koutras} et al., Log. J. IGPL 16, No. 6, 591--604 (2008; Zbl 1169.03017) Full Text: DOI
Oliveira, Igor Carboni; Carnielli, Walter The Ricean objection: An analogue of Rice’s theorem for first-order theories. (English) Zbl 1159.03028 Log. J. IGPL 16, No. 6, 585-590 (2008); erratum ibid. 17, No. 6, 803-804 (2009). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03D35 PDF BibTeX XML Cite \textit{I. C. Oliveira} and \textit{W. Carnielli}, Log. J. IGPL 16, No. 6, 585--590 (2008; Zbl 1159.03028) 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 PDF BibTeX XML Cite \textit{S. M. Bagheri} and \textit{M. Pourmahdian}, Log. J. IGPL 16, No. 6, 561--583 (2008; Zbl 1162.03015) Full Text: DOI
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov Cut-based abduction. (English) Zbl 1156.03032 Log. J. IGPL 16, No. 6, 537-560 (2008). MSC: 03B70 03F07 68T27 PDF BibTeX XML Cite \textit{M. D'Agostino} et al., Log. J. IGPL 16, No. 6, 537--560 (2008; Zbl 1156.03032) Full Text: DOI
Gabbay, Dov M.; Pnueli, Amir A sound and complete deductive system for CTL\(^*\) verification. (English) Zbl 1156.68036 Log. J. IGPL 16, No. 6, 499-536 (2008). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{D. M. Gabbay} and \textit{A. Pnueli}, Log. J. IGPL 16, No. 6, 499--536 (2008; Zbl 1156.68036) Full Text: DOI