Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri Context logic as modal logic, completeness and parametric inexpressivity. (English) Zbl 1295.68079 Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 123-134 (2007). Cited in 20 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 03B45 Modal logic (including the logic of norms) 03B70 Logic in computer science Keywords:context logic; expressivity; modal logic; structured data Citations:Zbl 1078.68098 Software:XDuce PDFBibTeX XMLCite \textit{C. Calcagno} et al., in: Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '07, Nice, France, January 17--19, 2007. New York, NY: Association for Computing Machinery (ACM). 123--134 (2007; Zbl 1295.68079) Full Text: DOI