Found 5 results
Filters: Author is Sano, Katsuhiko [Clear All Filters]
Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics. Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium. :223–251.. 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.. 2016.
Revising a Labelled Sequent Calculus for Public Announcement Logic. Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium. :131–157.. 2016.
Analyzing Reliability Change in Legal Case. New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. :274–290.. 2015.
A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. :187–202.. 2015.