scientific article; zbMATH DE number 1499081

zbMATH Open0964.03527MaRDI QIDQ4501133FDOQ4501133

Authors: Sergei Artemov, Vladimir Nikolaevich Krupskiĭ 

Publication date: 3 September 2000

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)