Our second task is to generate an epistemic Kripke model \(\mathfrak {M}_g\) . In parallel with Definition  in Section , here our start point should be an argument Kripke model \(\mathfrak {N}=(\mathbb {W},A,G)\)  together with the current argument \(U\in \mathbb {W}\) . But what does the “current” argument mean? We understand it as the last argument in a realistic argumentation process consisting of a chronological series of successive arguments, which is also ordinarily regarded as “the currently winning argument”, exactly like Dung points out in [1]}:
