A crash course in arrow logic (1997)

by Y Venema
Venue:Arrow Logic and MultiModal Logic