Login / Signup

Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction.

Benjamin G. RinSean Walsh
Published in: Rev. Symb. Log. (2016)
Keyphrases