Counterfactuals and Updates as Inverse Modalities
Journal of Logic, Language and Information
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
A unified view of consequence relation, belief revision and conditional logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Possibilistic logic, preferential models, non-monotonicity and related issues
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Conditional logics of normality as modal systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The P-systems: a systematic classification of logics of n onmonotonicity
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Varying Selection Functions To Relate Conditional Logics And Preferential Models
Fundamenta Informaticae
| Hi-index | 0.00 |