关注
Katsuhiko Sano
Katsuhiko Sano
Professor, Faculty of Humanities and Human Sciences, Hokkaido University
在 let.hokudai.ac.jp 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Generalizing functional completeness in Belnap-Dunn logic
H Omori, K Sano
Studia Logica 103, 883-917, 2015
552015
The expressive power of modal dependence logic
L Hella, K Luosto, K Sano, J Virtema
Advances in Modal Logic 10, 294-312, 2014
552014
An expansion of first-order Belnap–Dunn logic
K Sano, H Omori
Logic Journal of the IGPL 22 (3), 458-481, 2014
472014
Model Theory and Proof Theory of Coalgebraic Predicate Logic
L Schröder, K Sano, D Pattinson, T Litak
Logical Methods in Computer Science 14, 2018
31*2018
da Costa Meets Belnap and Nelson
H Omori, K Sano
Recent Trends in Philosophical Logic, 145-166, 2014
252014
Sound and complete tree-sequent calculus for inquisitive logic
K Sano
International Workshop on Logic, Language, Information, and Computation, 365-378, 2009
212009
Axiomatizing Propositional Dependence Logics
K Sano, J Virtema
arXiv preprint arXiv:1410.5038, 2014
202014
How to update neighbourhood models
M Ma, K Sano
Journal of Logic and Computation, 2015
182015
Dynamic epistemic logic for channel-based agent communication
K Sano, S Tojo
Indian Conference on Logic and Its Applications, 109-120, 2013
182013
Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic?
K Sano
Journal of Applied Logic 8 (4), 459-474, 2010
182010
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics
K Sano, JG Stell
arXiv preprint arXiv:1703.02198, 2017
172017
Avoiding Impossibility Theorems in Radical Inquisitive Semantics
K Sano
Modality, Semantics and Interpretations, 107-120, 2015
15*2015
Conditional independence and biscuit conditional questions in Dynamic Semantics
K Sano, Y Hara
Semantics and Linguistic Theory 24, 84-101, 2014
152014
Goldblatt-Thomason-style Theorems for Graded Modal Language.
K Sano, M Ma
Advances in Modal Logic 2010, 330-349, 2010
152010
Revising a labelled sequent calculus for public announcement logic
S Nomura, K Sano, S Tojo
Structural Analysis of Non-Classical Logics: The Proceedings of the Second …, 2015
142015
Hybrid counterfactual logics: David Lewis meets Arthur Prior again
K Sano
Journal of Logic, Language and Information 18, 515-539, 2009
142009
Term-sequence-modal logics
T Sawasaki, K Sano, T Yamada
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019
122019
First-order inquisitive pair logic
K Sano
Indian Conference on Logic and Its Applications, 147-161, 2011
122011
First-order intuitionistic epistemic logic
Y Su, K Sano
International Workshop on Logic, Rationality and Interaction, 326-339, 2019
112019
Axiomatizing epistemic logic of friendship via tree sequent calculus
K Sano
Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017 …, 2017
112017
系统目前无法执行此操作，请稍后再试。
文章 1–20