scientific article; zbMATH DE number 1499081

MaRDI QIDQ4501133zbMATH OpenFDO

Authors Sergei Artemov, Vladimir Nikolaevich Krupskiĭ

Publication date 3 September 2000

Mathematics Subject Classification ID

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

Recommendations

• Data storage interpretation of labeled modal logic
• scientific article; zbMATH DE number 1114035
• Labelled propositional modal logics: theory and practice
• Completeness results for memory logics
• Completeness Results for Memory Logics

Cited in

(4)

• Foundations of Software Science and Computation Structures
• Referential logic of proofs
• Data storage interpretation of labeled modal logic
• The single-conclusion proof logic and inference rules specification

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 Q4501133)