5 citations · 5 across the 1 of their papers we have counts for
1 paper · 1 filter
Christoph Benzmueller, Lawrence C. Paulson
We present a straightforward embedding of quantified multimodal logic in simple type theory and prove its soundness and completeness. Modal operators are replaced by quantification…