On the logic of theory change: Partial meet contraction and revision functions 论文

1985Journal of Symbolic Logic引用 3206
DOI
Formal Methods in VerificationLogic, programming, and type systemsAdvanced Control Systems Optimization
Advanced Control Systems OptimizationLogic, programming, and type systemsFormal Methods in Verification
相关技术:Advanced Control Systems OptimizationFormal Methods in Verification
关系图谱

On the logic of theory change: Partial meet contraction and revision functions · 相关事件

暂无数据