Alternative Translation Techniques for Propositional and First-Order Modal Logics
Journal of Automated Reasoning
Derivability in Locally Quantified Modal Logics via Translation in Set Theory
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Verification within the KARO Agent Theory
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
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
Tractable Transformations from Modal Provability Logics into First-Order Logic
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic (TOCL)
Towards an ontology of agency and action From STIT to OntoSTIT+
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Hi-index | 0.00 |