A formalization of a logical subset of Goal Structuring Notation (GSN) arguments is presented. The aim is to reveal the conditions which must be true in order to guarantee that an argument thus formalized is internally consistent. These conditions justify a number of systematic questions which must be answered in the affirmative if a standard safety argument based on natural language is to be believed to be free from inconsistencies. The relevance of these findings to the combination of GSN and controlled natural language with first-order logic semantics is discussed.
Bandur, V., & McDermid, J. (2015). Informing assurance case review through a formal interpretation of GSN core logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9338, pp. 3–14). Springer Verlag. https://doi.org/10.1007/978-3-319-24249-1_1