Vol-3325⫷ Vol-3326 ⫸Vol-3327
urn:nbn:de:0074-3326-0


Vol-3326/ARQNL2022_abstract1⫷Vol-3326/ARQNL2022_paper1⫸Vol-3326/ARQNL2022_paper2
Ana de Almeida Borges

Towards a Coq Formalization of a Quantified Modal Logic