DDL unlimited: dynamic doxastic logic for introspective agents (1999)

by S Lindström, W Rabinowicz
Venue:Erkenntnis