(Note: Relevance logic and its relatives (e.g., the logic of
entailment, paraconsistent logics, etc.) are not, strictly speaking,
modal logics, but they share a common history (viz., overcoming the
paradoxes of the material
conditional), and they form the basis for
the logic underlying
SNePS,
so I include them here.)
Martins, João P.
&
Shapiro, Stuart C.
(1981),
"A Belief Revision System Based
on Relevance Logic and Heterarchical Contexts",
Technical Report 175
(Buffalo: SUNY Buffalo Department of Computer Science).
Martins, João P.
(1983),
"Belief Revision in MBR",
in
Proceedings of the 1983 Conference on Artificial Intelligence
(Rochester, MI).
Martins, João P.
(1983),
"Reasoning in Multiple Belief Spaces"
(Ph.D. dissertation), Technical Report 203
(Buffalo: SUNY Buffalo Department of Computer Science).
Martins, João
P.
&
Shapiro, Stuart
C.
(1986),
"Theoretical Foundations for Belief Revision",
in J.Y. Halpern (ed.), Theoretical Aspects of
Reasoning about Knowledge
(Los Altos, CA: Morgan Kaufmann):
383-398.
Martins, João
P.
&
Shapiro, Stuart
C.
(1986),
"Belief Revision in SNePS", in
Proceedings of the 6th Canadian Conference on Artificial
Intelligence
(Presses de l'Université du Québec):
230-234.
For a literary discussion of what happens when a computer or robot uses
classical logic, see:
Asimov, Isaac (1941),
"Liar!",
Astounding Science Fiction;
reprinted in
Isaac Asimov,
I, Robot
(Garden City, NY: Doubleday),
Ch. 5, pp. 99–117.