Finite Model Finding in First-Order Modal Logics.

Happy Khairunnisa Sariyanto, Alexander Steen, Geoff Sutcliffe

Browse the full IJCAR paper archive.