1 research outputs found

    An axiomatization of Prior's modal calculus QQ.

    No full text
    corecore