Advanced search
1 file | 190.94 KB Add to list

A constructive modal semantics for contextual verification

(2009) 550. p.25-27
Author
Organization
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.
Keywords
Contextual reasoning, Non-monotonic reasoning, Modal Logic, Verification processes., Constructive Logic

Downloads

  • LOG-IC09 proc primiero.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 190.94 KB

Citation

Please use this url to cite or link to this publication:

MLA
Primiero, Giuseppe. “A Constructive Modal Semantics for Contextual Verification.” Vol. 550. Aachen-Tilburg: CEUR-Workshop Proceedings, 2009. 25–27. Print.
APA
Primiero, G. (2009). A constructive modal semantics for contextual verification (Vol. 550, pp. 25–27). Presented at the Logic-based Interpretation of Context: Modelling and Applications 2009, Aachen-Tilburg: CEUR-Workshop Proceedings.
Chicago author-date
Primiero, Giuseppe. 2009. “A Constructive Modal Semantics for Contextual Verification.” In , 550:25–27. Aachen-Tilburg: CEUR-Workshop Proceedings.
Chicago author-date (all authors)
Primiero, Giuseppe. 2009. “A Constructive Modal Semantics for Contextual Verification.” In , 550:25–27. Aachen-Tilburg: CEUR-Workshop Proceedings.
Vancouver
1.
Primiero G. A constructive modal semantics for contextual verification. Aachen-Tilburg: CEUR-Workshop Proceedings; 2009. p. 25–7.
IEEE
[1]
G. Primiero, “A constructive modal semantics for contextual verification,” presented at the Logic-based Interpretation of Context: Modelling and Applications 2009, Potsdam, Germany, 2009, vol. 550, pp. 25–27.
@inproceedings{810575,
  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.},
  author       = {Primiero, Giuseppe},
  issn         = {1613-0073},
  keywords     = {Contextual reasoning,Non-monotonic reasoning,Modal Logic,Verification processes.,Constructive Logic},
  language     = {eng},
  location     = {Potsdam, Germany},
  pages        = {25--27},
  publisher    = {CEUR-Workshop Proceedings},
  title        = {A constructive modal semantics for contextual verification},
  volume       = {550},
  year         = {2009},
}