Abriola, Sergio; Descotte, María Emilia; Fervari, Raul; Figueira, Santiago Axiomatizations for downward XPath on data trees. (English) Zbl 1372.68077 J. Comput. Syst. Sci. 89, 209-245 (2017). MSC: 68P15 03B70 PDFBibTeX XMLCite \textit{S. Abriola} et al., J. Comput. Syst. Sci. 89, 209--245 (2017; Zbl 1372.68077) Full Text: DOI arXiv
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas Realizing public announcements by justifications. (English) Zbl 1327.03011 J. Comput. Syst. Sci. 80, No. 6, 1046-1066 (2014). MSC: 03B42 PDFBibTeX XMLCite \textit{S. Bucheli} et al., J. Comput. Syst. Sci. 80, No. 6, 1046--1066 (2014; Zbl 1327.03011) Full Text: DOI
Achilleos, Antonis A complexity question in justification logic. (English) Zbl 1327.03010 J. Comput. Syst. Sci. 80, No. 6, 1038-1045 (2014). MSC: 03B42 03B35 68Q25 PDFBibTeX XMLCite \textit{A. Achilleos}, J. Comput. Syst. Sci. 80, No. 6, 1038--1045 (2014; Zbl 1327.03010) Full Text: DOI