Hilbert-Style Axiomatization for Hybrid XPath with Data-Reference-Cited by-同舟云学术

Hilbert-Style Axiomatization for Hybrid XPath with Data

Published:2016 Issue: Volume: Page:34-48
ISSN:0302-9743
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

Areces Carlos,Fervari Raul

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-48758-8_3

Reference24 articles.

1. Abriola, S., Descotte, M., Fervari, R., Figueira, S.: Axiomatizations for downward XPath on data trees. CoRR, abs/1605.04271 (2016)

2. Abriola, S., Descotte, M., Figueira, S.: Model theory of XPath on data trees. Part II: Binary bisimulation and definability. Information and Computation (to appear). http://www.glyc.dc.uba.ar/santiago/papers/xpath-part2.pdf

3. Lecture Notes in Computer Science;S Abriola,2014

4. Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logics, pp. 821–868. Elsevier, Amsterdam (2006)

5. Baelde, D., Lunel, S., Schmitz, S.: A sequent calculus for a modal logic on finite data trees. In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, pp. 32:1–32:16 (2016)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FDataCollector: A Blockchain Based Friendly Web Data Collection System;2021 17th International Conference on Mobility, Sensing and Networking (MSN);2021-12

2. Axiomatizing Hybrid XPath with Data;Logical Methods in Computer Science;2021-07-20

3. Internal proof calculi for modal logics with separating conjunction;Journal of Logic and Computation;2021-04

4. Axiomatising Logics with Separating Conjunction and Modalities;Logics in Artificial Intelligence;2019

5. Tableaux for Hybrid XPath with Data;Progress in Artificial Intelligence;2017