Publication

Publication

Found 37 results
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, 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.
Berger U, Miyamoto K, Schwichtenberg H, Hideki T.  2016.  Logic for Gray-code Computation.. Concepts of Proof in Mathematics, Philosophy, and Computer Science. :69–110.
de Brecht M.  2016.  Noetherian spaces and quantifier elimination. Dagstuhl Seminar.
Nemoto T, Ishihara H.  2016.  Non-Deterministic Inductive Definitions and Fullness. Concepts of Proof in Mathematics, Philosophy, and Computer Science. :163–170.
Ishihara H, Nemoto T.  2016.  A note on the independence of premiss rule. Math. Log. Q.. 62:72–76.
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.
Murase A, Terauchi T, Kobayashi N, Sato R, Unno H.  2016.  Temporal verification of higher-order functional programs. Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. :57–68.
2015
Jirakunkanok P, Sano K, Tojo S.  2015.  Analyzing Belief Re-revision by Consideration of Reliability Change in Legal Case. 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE).
Jirakunkanok P, Sano K, Tojo S.  2015.  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.
Sano K, Virtema J.  2015.  Axiomatizing Propositional Dependence Logics. {CSL}. 41:292–307.
de Brecht M, Schröder M, Selivanov VL.  2015.  Base-Complexity Classifications of QCB \_0 0 -Spaces. Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings. :156–166.
Goto T, Tojo S.  2015.  Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO. New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. :227–243.
Matsumoto K, Terui K.  2015.  Coherence Spaces for Computable Analysis II. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
Hirokawa N.  2015.  Commutation and Signature Extensions. 4th International Workshop on Confluence. :23-27.

Pages