Schwarz, Grigori; Truszczynski, Miroslaw Nonmonotonic reasoning is sometimes simpler! (English) Zbl 0849.03019 J. Log. Comput. 6, No. 2, 295-308 (1996). Reviewer: V.Ya.Kreinovich (El Paso) MSC: 03B60 68T27 03B45 68Q25 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
Galton, Antony An investigation of ‘non-intermingling’ principles in temporal logic. (English) Zbl 0854.68093 J. Log. Comput. 6, No. 2, 271-294 (1996). MSC: 68T27 03B45 × Cite Format Result Cite Review PDF Full Text: DOI Link
Freund, Michael; Lehmann, Daniel On negation rationality. (English) Zbl 0854.68092 J. Log. Comput. 6, No. 2, 263-269 (1996). MSC: 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Grosse, Gerd; Hölldobler, Steffen; Schneeberger, Josef Linear deductive planning. (English) Zbl 0854.68091 J. Log. Comput. 6, No. 2, 233-262 (1996). MSC: 68T20 68T27 68N17 × Cite Format Result Cite Review PDF Full Text: DOI Link
Amati, Gianni; Aiello, Luigia Carlucci; Gabbay, Dov; Pirri, Fiora A proof theoretical approach to default reasoning. I: Tableaux for default logic. (English) Zbl 0859.03027 J. Log. Comput. 6, No. 2, 205-231 (1996). Reviewer: M.Yasuhara (Princeton) MSC: 03F03 68T30 68T27 × Cite Format Result Cite Review PDF Full Text: DOI Link
Fermüller, Christian; Leitsch, Alexander Hyperresolution and automated model building. (English) Zbl 0861.68086 J. Log. Comput. 6, No. 2, 173-203 (1996). Reviewer: L.State (Bucureşti) MSC: 68T15 68T27 03B35 × Cite Format Result Cite Review PDF Full Text: DOI