scientific article; zbMATH DE number 1499081

zbMath0964.03527MaRDI QIDQ4501133

Vladimir Nikolaevich Krupskiĭ, Sergej N. Artemov

Publication date: 3 September 2000

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Data structures (68P05)

Related Items (2)

Referential logic of proofs ⋮ The single-conclusion proof logic and inference rules specification

This page was built for publication: