Montagna, Franco Storage operators and multiplicative quantifiers in many-valued logics. (English) Zbl 1061.03027 J. Log. Comput. 14, No. 2, 299-322 (2004). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Bidoit, Nicole; De Amo, Sandra; Segoufin, Luc Order independent temporal properties. (English) Zbl 1101.68020 J. Log. Comput. 14, No. 2, 277-298 (2004). MSC: 68P15 03B44 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Renardel de Lavalette, Gerard R. Changing modalities. (English) Zbl 1078.03015 J. Log. Comput. 14, No. 2, 251-275 (2004). Reviewer: Jan Šefránek (Bratislava) MSC: 03B42 03B45 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Guelev, Dimitar P. A complete proof system for first-order interval temporal logic with projection. (English) Zbl 1070.03009 J. Log. Comput. 14, No. 2, 215-249 (2004). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B44 03B70 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Kandulski, Maciej Categorial grammars and tree languages. (English) Zbl 1057.03018 J. Log. Comput. 14, No. 2, 205-214 (2004). MSC: 03B47 68Q42 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI