Author:
Bana Gergei,Okada Mitsuhiro
Publisher
Springer International Publishing
Reference12 articles.
1. Adams, E.W.: The Logic of Conditionals. Springer, Dordrecht (1975). https://doi.org/10.1007/978-94-015-7622-2
2. Lecture Notes in Computer Science;G Bana,2012
3. Bana, G., Hasebe, K., Okada, M.: Computationally complete symbolic attacker and key exchange. In: Proceedings of the 20th ACM SIGSAC Conference on Computer and Communications Security (CCS 2013), pp. 1231–1246. ACM (2013)
4. Bana, G., Okada, M.: Semantics for “Enough-Certainty” and fitting’s embedding of classical logic in S4. In: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016). LIPIcs, vol. 62, pp. 34:1–34:18. Schloss Dagstuhl (2016)
5. Burgess, J.P.: Quick completeness proofs for some logics of conditionals. Notre Dame J. Formal Logic 22(1), 76–84 (1981)