Author:
Girlando Marianna,Lellmann Björn,Olivetti Nicola,Pozzato Gian Luca
Publisher
Springer International Publishing
Reference18 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);R Alenda,2012
2. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (eds.) Logic: From Foundations to Applications. Clarendon Press, New York (1996)
3. Burgess, J.P.: Quick completeness proofs for some logics of conditionals. Notre Dame J. Formal Log. 22, 76–84 (1981)
4. Chellas, B.F.: Basic conditional logics. J. Philos. Log. 4, 133–153 (1975)
5. Friedman, N., Halpern, J.Y.: On the complexity of conditional logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) KR 1994, pp. 202–213. Morgan Kaufmann (1994)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献