A Resolution Method for Quantified Modal Logics of Knowledge and Belief.

Christophe Geissler, Kurt Konolige

Browse the full TARK paper archive.