Data storage interpretation of labeled modal logic

DOI10.1016/0168-0072(95)00062-3zbMath0859.68015OpenAlexW1995457698MaRDI QIDQ1919761

Vladimir Nikolaevich Krupskiĭ, Sergej N. Artemov

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

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

Related Items (3)

Axiomatizations for downward XPath on data trees ⋮ Referential logic of proofs ⋮ The single-conclusion proof logic and inference rules specification

Cites Work

• Linear unification
• Logic of proofs
• An Efficient Unification Algorithm
• Unnamed Item

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