Publication

Found 2 results
Filters: Author is Yang, Syraya Chin-Mu  [Clear All Filters]
2016
Yamasaki S, Sano K.  2016.  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.
Nomura S, Sano K, Tojo S.  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.