SMT-Based Deontic Reasoning for qvist Logics.

Christian Kll, Agata Ciabattoni, Dmitry Rozplokhas

Browse the full IJCAR paper archive.