Inproceedings,

Propositional logic based on the dynamics of disbelief.

, and .
The Logic of Theory Change, volume 465 of Lecture Notes in Computer Science, page 243-258. Springer, (1989)

Meta data

Tags

Users

  • @dblp

Comments and Reviews