非單調司法論證模式導論（簡體書）

除了邏輯推演規則之外，訴訟博弈還必須遵守話語規則，但是這些話語規則沒有足夠形式描述空間。所有規則的先決條件是對方的開放主張集合中的回應主張。大多數行動的效果是根據對方或者承認主張或者否認主張的開放集來決定下一步的行動和提出主張，如果對方對這個新斷言的回應是可能的，那么其它效果將添加一個主張到行動方的開放集。對于每一主張來講，至多只允許有一個回應。在根據開放集行動主張之后，就不允許有其它回應。這條規則對當事人進行資源限制。雖然可能有許多論證、反駁或失敗者，但在每個行動上每位博弈者都有責任建構最有可能存在說服力的論證。
Gordon辯論模式主要探討民事訴訟博弈的形式分析，Lodder建立比Gordon訴訟博弈模式適用面更廣的對話法律模式。
四、非單調對話法律模式
1999年，Lodder建立比Gordon訴訟博弈模式適用面更廣的對話法律模式。Lodder把訴訟博弈看作是一個二人對話博弈，其中兩個博弈方交錯做出行動。博弈目的是證立對話中作出主張的陳述，當一方提出的主張被另一方接受時，該主張就被證立。
對話法律模式的基本概念有博弈方、博弈行動、證明責任、承諾、對話規則和對話層次。第一，博弈方。對話法律可以是兩個人或兩組的博弈，甚至可能是一個人的博弈。第二，博弈行動。博弈方交替作出行動。這些行動包括言外行動和命題內容。主要言外行動有主張、質疑、接受、收回。這些言外行動的命題內容是由關于行動的語句構成。如果一個博弈方主張一個語句，那么他表達相信這個語句是可證立的。博弈方可以主張任何語句。如果博弈方質疑某一語句，那么他在要求對方就其主張提供證立。如果博弈方接受某一語句，那么他同意對方主張。主張是討論的開始，接受是討論的結束。接受是就對方主張作出回應。如果博弈方收回某一語句，那么就收回自已曾主張的語句。收回是主張的對立面。第三，證明責任。證明責任顯得簡單。主張方負有證明其主張語句的責任。第四，承諾。當某一語句被主張或接受時，承諾發生。當某一語句被收回時承諾便終止。收回語句的結果是承諾庫中與該語句相關的承諾都被刪除。所有博弈方的承諾都記錄在一個“數據庫”中。第五，對話規則。