机译:空闲的优点:资源代理逻辑的可确定片段
机译:具有交互主体的时间逻辑判定性:定理和可接受的规则
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:关于(un)可解辨别性的边界:资源代理逻辑片段的解辨模型检查
机译:它如何决定在该领土上?采矿冲突治理。 Andalgalá,Catamarca和Famatina,在La Rioja的病例。 (2005-2016)=谁决定领土?采矿冲突治理:西门田和名人的Andalgalá病例
机译:校正:决定不决定:顺序选择中隐藏行为的计算和神经证据
机译:在(不可)可确定性的边界上:可确定的模型检查资源代理逻辑的一部分