Robles, Gemma The basic constructive logic for negation-consistency. (English) Zbl 1173.03026 J. Logic Lang. Inf. 17, No. 2, 161-181 (2008). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B53 03B47 PDFBibTeX XMLCite \textit{G. Robles}, J. Logic Lang. Inf. 17, No. 2, 161--181 (2008; Zbl 1173.03026) Full Text: DOI
Kontinen, Juha; Szymanik, Jakub A remark on collective quantification. (English) Zbl 1162.03313 J. Logic Lang. Inf. 17, No. 2, 131-140 (2008). MSC: 03B65 03C80 PDFBibTeX XMLCite \textit{J. Kontinen} and \textit{J. Szymanik}, J. Logic Lang. Inf. 17, No. 2, 131--140 (2008; Zbl 1162.03313) Full Text: DOI
Sack, Joshua Temporal languages for epistemic programs. (English) Zbl 1184.03010 J. Logic Lang. Inf. 17, No. 2, 183-216 (2008). Reviewer: Andreas Herzig (Toulouse) MSC: 03B42 03B44 91A18 PDFBibTeX XMLCite \textit{J. Sack}, J. Logic Lang. Inf. 17, No. 2, 183--216 (2008; Zbl 1184.03010) Full Text: DOI
Lambek, J. Pregroup grammars and Chomsky’s earliest examples. (English) Zbl 1162.68721 J. Logic Lang. Inf. 17, No. 2, 141-160 (2008). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 68T50 03B65 PDFBibTeX XMLCite \textit{J. Lambek}, J. Logic Lang. Inf. 17, No. 2, 141--160 (2008; Zbl 1162.68721) Full Text: DOI
Tiede, Hans-Jörg Inessential features, ineliminable features, and modal logics for model theoretic syntax. (English) Zbl 1192.03004 J. Logic Lang. Inf. 17, No. 2, 217-227 (2008). Reviewer: Clemens Kupke (London) MSC: 03B65 03B45 03D05 91F20 PDFBibTeX XMLCite \textit{H.-J. Tiede}, J. Logic Lang. Inf. 17, No. 2, 217--227 (2008; Zbl 1192.03004) Full Text: DOI