Publication

Found 1 results
Filters: Author is Ono, Hiroakira  [Clear All Filters]
2016
Nomura S, Ono H, Sano K.  2016.  A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. :283–298.