4 research outputs found
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
No full textProceedings of the Deduktionstreffen 2019
Get PDFThe annual meeting Deduktionstreffen is the prime activity of the Special Interest Group on Deduction Systems (FG DedSys) of the AI Section of the German Society for Informatics (GI-FBKI). It is a meeting with a familiar, friendly atmosphere, where everyone interested in deduction can report on their work in an informal setting
