Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications

TitleA constructive modal semantics for contextual verification
Publication TypeConference Paper
Year of Publication2009
AuthorsPrimiero, G
Conference NameProceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications
PublisherCEUR-Workshop Proceedings
Abstract

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.

URLhttp://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/
Citation Key810575
Download PDF (Author PDF)
PDF author (public):