Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference20 articles.
1. Beth, E.W.: Semantic entailment and formal derivability. Meded. K. Ned. Akad. Wet. 18(3), 309–342 (1955)
2. Crochemore, M., Gabbay, D.M.: Reactive automata. Inf. Comput. 209(4), 692–704 (2011). doi: 10.1016/j.ic.2011.01.002
3. D’Agostino, M.: Tableaux methods for classical propositional logic. In: Handbook of Tableaux Methods, pp. 45–123 (1999)
4. D’Agostino, M., Gabbay, D., Hähnle, R., Possegga, J.: Handbook of Tableau Methods. Kluwer Academic Publishers (1999)
5. Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Reidel (1983)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reactivity and Grammars: An Exploration;Lecture Notes in Computer Science;2014