论文信息 - Interference logic = conditional logic + frame axiom

Interference logic = conditional logic + frame axiom

We investigate the notion of interference between formulas as a basis for change operations. Such a notion permits us to enrich conditional logics with a frame axiom. This new logic allows us to solve in a natural way some of the problems appearing in the model based approach to change.

Luis Fariñas del Cerro | Andreas Herzig | L. F. D. Cerro | A. Herzig

[1] Brian F. Chellas. Basic conditional logic , 1975, J. Philos. Log..

[2] Luis Fariñas del Cerro,et al. From Ordering-Based Nonmonotonic Reasoning to Conditional Logics , 1992, Artif. Intell..

[3] Peter Gärdenfors. On the logic of relevance , 1978 .

[4] C. E. Alchourrón,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[5] Georg Gottlob,et al. On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals , 1992, Artif. Intell..

[6] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[7] V. Lifschitz. Formal theories of action , 1987 .

[8] A. N. Kolmogorov,et al. Foundations of the theory of probability , 1960 .

[9] Luis Fariñas del Cerro,et al. Sequents for dependence logics , 1991 .