Keyword:embedding

Papers
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic Max Wisniewski and Alexander Steen In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics