Context logic as modal logic
type: Item
instance of: scholarly article
title: Context logic as modal logic
zbMATH Open document ID: 1295.68079
DOI: 10.1145/1190216.1190236
author: Cristiano Calcagno
author: Philippa Gardner
author: Uri Zarfaty
published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
publication date: 2014-09-12T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6344186
zbMATH Keywords: context logic
zbMATH Keywords: expressivity
zbMATH Keywords: modal logic
zbMATH Keywords: structured data
describes a project that uses: XDuce
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/1190216.1190236
OpenAlex ID: W4248244173
Wikidata QID: Q130863296
description: scientific article