Clausal resolution in a logic of rational agency
Artificial Intelligence
Resolution Method for Modal Logic with Well-Founded Frames
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Journal of Logic, Language and Information
Hi-index | 0.00 |