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
Finger, Marcelo; Wassermann, Renata Approximate and limited reasoning: Semantics, proof theory, expressivity and control. (English) Zbl 1101.68086 J. Log. Comput. 14, No. 2, 179-204 (2004). MSC: 68T15 68T30 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Aiguier, Marc ÉTOILE-specifications: An object-oriented algebraic formalism with refinement. (English) Zbl 1104.68015 J. Log. Comput. 14, No. 2, 145-178 (2004). MSC: 68N30 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
He, Lifeng; Chao, Yuyan; Itoh, Hidenori R-SATCHMO: Refinements on I-SATCHMO. (English) Zbl 1104.68099 J. Log. Comput. 14, No. 2, 117-143 (2004). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI