机译:证明逻辑中的公共传播
Faculty of Philosophy, University of Groningen,Oude Boteringestraat 52, 9712 GL Groningen, The Netherlands;
justification logic; bisimulation; public announcements; expressivity;
机译:多主体证明逻辑:交流和证据消除
机译:多主体证明逻辑:交流和证据消除
机译:对“公共传播逻辑”的评论
机译:具有互动理由的多算法理由逻辑的TableAux和复杂性界限
机译:多主体证明逻辑中的相互作用和复杂性
机译:认识论证理的逻辑
机译:证明逻辑中的公共传播