The consistency of syntactical treatments of modality (1986)

by J Des Rivieres, H J Levesque
Venue:Proceedings of the 1986 Conference on theoretical Aspects of Reasoning about knowledge