Author:
Girlando Marianna,Lellmann Björn,Olivetti Nicola,Pozzato Gian Luca,Vitalis Quentin
Publisher
Springer International Publishing
Reference16 articles.
1. Alenda, R., Olivetti, N., Pozzato, G.L.: Nested sequent calculi for normal conditional logics. J. Log. Comput. 26(1), 7–50 (2016)
2. Baltag, A., Smets, S.: The logic of conditional doxastic actions. Texts Log. Games 4, 9–31 (2008). Special Issue on New Perspectives on Games and Interaction
3. Beckert, B., Posegga, J.: leanTAP: lean tableau-based deduction. J. Autom. Reason. 15(3), 339–358 (1995)
4. Board, O.: Dynamic interactive epistemology. Games Econ. Behav. 49(1), 49–80 (2004)
5. Genovese, V., Giordano, L., Gliozzi, V., Pozzato, G.L.: Logics in access control: a conditional approach. J. Log. Comput. 24(4), 705–762 (2014)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献