First-order classical modal logic: applications in logics of knowledge and probability.

Horacio L. Arl-Costa, Eric Pacuit

Browse the full TARK paper archive.