@conference {810575,
	title = {A constructive modal semantics for contextual verification},
	booktitle = {Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications},
	year = {2009},
	publisher = {CEUR-Workshop Proceedings},
	organization = {CEUR-Workshop Proceedings},
	abstract = {<p>This paper introduces a non-standard semantics for a modal version of constructive KT for contextual (assumptions-based) verification. The modal fragment expresses verifiability under extensions of contexts, enjoying adapted validity and (weak) monotonicity properties depending on satisfaction of the contextual data.</p>},
	url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/},
	author = {Primiero, Giuseppe}
}
