Author:
Girlando Marianna,Negri Sara,Sbardolini Giorgio
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);R Alenda,2012
2. Alenda, R., Olivetti, N., Pozzato, G.L.: Nested sequent calculi for normal conditional logics. J. Logic Comput. 26(1), 7–50 (2013)
3. Alexandroff, P.: Diskrete Räume. Mat.Sb. (NS) 2(3), 501–519 (1937)
4. Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. Log. Found. Game Decis. Theory (LOFT 7) 3, 9–58 (2008)
5. Burgess, J.P.: Quick completeness proofs for some logics of conditionals. Notre Dame J. Formal Log. 22(1), 76–84 (1981)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献