Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic.

Paul Tarau

Browse the full LOPSTR paper archive.