Data storage interpretation of labeled modal logic

DOI10.1016/0168-0072(95)00062-3MaRDI QIDQ1919761zbMATH OpenOpenAlexFDO

Authors Sergei Artemov, Vladimir Nikolaevich Krupskiĭ

Publication date 24 July 1996

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(95)00062-3

zbMATH Keywords

labeled modal logicsreference structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1499081
• scientific article; zbMATH DE number 1114035
• Labelled propositional modal logics: theory and practice
• Propositional dynamic logic with storing, recovering and parallel composition
• scientific article; zbMATH DE number 4061199

Cites work

• An Efficient Unification Algorithm
• scientific article; zbMATH DE number 4155934 (Why is no real title available?)
• Linear unification
• Logic of proofs

Cited in

(4)

• Axiomatizations for downward XPath on data trees
• Referential logic of proofs
• scientific article; zbMATH DE number 1499081 (Why is no real title available?)
• The single-conclusion proof logic and inference rules specification

This page was built for publication: Data storage interpretation of labeled modal logic

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