scientific article; zbMATH DE number 194217

MaRDI QIDQ4041013zbMATH OpenFDO

Authors N. A. Alëshina, A. M. Anisov, P. I. Bystrov, I. A. Gerasimova, V. S. Mes'Kov, Nikolay N. Nepeivoda, V. A. Smirnov, V. N. Stebletsova, Vladimir Ivanovich Shalak

Publication date 5 June 1993

zbMATH Keywords

autoepistemic logicslogic of programslogical inference with bounded resourcesnatural deductionpartial and total correctnesspredicate calculusprobabilistic logicssequential calculustemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 578242
• Logic for computer scientists
• scientific article; zbMATH DE number 1446599
• scientific article; zbMATH DE number 4104410
• scientific article; zbMATH DE number 53085

Cited in

(9)

• Formal methods in computer technologies
• A method for the synthesis of deducibility conditions for Horn and some other formulas
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 4057055 (Why is no real title available?)
• scientific article; zbMATH DE number 51274 (Why is no real title available?)
• scientific article; zbMATH DE number 193735 (Why is no real title available?)
• scientific article; zbMATH DE number 578242 (Why is no real title available?)
• scientific article; zbMATH DE number 1446599 (Why is no real title available?)
• Logic for computer scientists

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4041013)