Funder
Agencia Nacional de Promoción Científica y Tecnológica (AR)
Agencia Nacional de Promoción Científica y Tecnológica
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference10 articles.
1. Arora, S., and B. Barak, Computational Complexity: A Modern Approach, Cambridge University Press, New York, 2009.
2. Castro, P.F., and T.S.E. Maibaum, A tableaux system for deontic action logic, in 9th International Conference DEON, Lecture Notes in Computer Science, Vol. 5076, Springer, 2008, pp. 34–48.
3. Castro P.F., Maibaum T.S.E.: Deontic action logic, atomic Boolean algebras and fault-tolerance. Journal of Applied Logic 7(4), 441–466 (2009)
4. Emerson, E.A., Temporal and modal logic, in J. van Leeuwen, (ed.), Handbook of Theoretical Computer Science, Vol. B, MIT Press, Cambridge, 1990.
5. Fitting, M., First-Order Logic and Automated Theorem Proving, Springer, Berlin, 1996.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Algebraic Approach for Action Based Default Reasoning;Electronic Proceedings in Theoretical Computer Science;2019-07-19