机译:标称计算的多重标记过渡系统及其逻辑
Dipartimento di Sistemi e Informatica, Viale Morgagni, 65 50134 Firenze, Italy;
机译:标称过渡系统的模态逻辑
机译:名义过渡系统的模态逻辑
机译:Psi-calculi:具有标称数据和逻辑的移动流程框架
机译:名义时态逻辑的后续计算:迈向机械化的一步?
机译:简·布丹丹(JEAN BURIDAN)论科学的分类(术语,名词,逻辑)。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:多标签过渡系统:名义计算的语义框架