scientific article

zbMath0713.68050MaRDI QIDQ4041013

V. S. Mes'Kov, Peter I. Bystrov, Vladimir Ivanovich Shalak, A. M. Anisov, V. A. Smirnov, N. A. Alëshina, N. N. Nepejvoda, V. N. Stebletsova, I. A. Gerasimova

Publication date: 5 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

predicate calculusnatural deductiontemporal logicautoepistemic logicsprobabilistic logicssequential calculuslogic of programspartial and total correctnesslogical inference with bounded resources

Mathematics Subject Classification ID

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

Related Items (2)

Formal methods in computer technologies ⋮ A method for the synthesis of deducibility conditions for Horn and some other formulas

This page was built for publication: