Katsuhiko Sano
Katsuhiko Sano
Associate Professor, Department of Philosophy and Ethics, Hokkaido University
E-mail confirmado em let.hokudai.ac.jp - Página inicial
Título
Citado por
Citado por
Ano
The expressive power of modal dependence logic
L Hella, K Luosto, K Sano, J Virtema
Advances in Modal Logic 10, 294-312, 2014
372014
Generalizing functional completeness in Belnap-Dunn logic
H Omori, K Sano
Studia Logica 103 (5), 883-917, 2015
272015
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
22*2018
An expansion of first-order Belnap–Dunn logic
K Sano, H Omori
Logic Journal of the IGPL 22 (3), 458-481, 2014
222014
da Costa Meets Belnap and Nelson
H Omori, K Sano
Recent Trends in Philosophical Logic, 145-166, 2014
212014
Sound and complete tree-sequent calculus for inquisitive logic
K Sano
International Workshop on Logic, Language, Information, and Computation, 365-378, 2009
182009
Axiomatizing Propositional Dependence Logics
K Sano, J Virtema
arXiv preprint arXiv:1410.5038, 2014
172014
How to update neighbourhood models
M Ma, K Sano
Journal of Logic and Computation, 2015
152015
Dynamic epistemic logic for channel-based agent communication
K Sano, S Tojo
Indian Conference on Logic and Its Applications, 109-120, 2013
142013
Hybrid counterfactual logics
K Sano
Journal of Logic, Language and Information 18 (4), 515-539, 2009
132009
Avoiding Impossibility Theorems in Radical Inquisitive Semantics
K Sano
Modality, Semantics and Interpretations, 107-120, 2015
12*2015
Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic?
K Sano
Journal of Applied Logic 8 (4), 459-474, 2010
112010
Revising a Labelled Sequent Calculus for Public Announcement Logic
S Nomura, K Sano, S Tojo
Structural Analysis of Non-Classical Logics, 131-157, 2016
102016
Conditional independence and biscuit conditional questions in Dynamic Semantics
K Sano, Y Hara
Semantics and Linguistic Theory 24, 84-101, 2014
102014
Axiomatizing hybrid products of monotone neighborhood frames
K Sano
Electronic Notes in Theoretical Computer Science 273, 51-67, 2011
92011
Goldblatt-Thomason-style Theorems for Graded Modal Language.
K Sano, M Ma
Advances in Modal Logic 2010, 330-349, 2010
92010
Characterizing frame definability in team semantics via the universal modality
K Sano, J Virtema
International Workshop on Logic, Language, Information, and Computation, 140-155, 2015
82015
Alternative semantics for Visser’s propositional logics
K Sano, M Ma
International Tbilisi Symposium on Logic, Language, and Computation, 257-275, 2013
72013
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics
K Sano, JG Stell
arXiv preprint arXiv:1703.02198, 2017
62017
Tableaux for Non-normal Public Announcement Logic
M Ma, K Sano, F Schwarzentruber, FR Velázquez-Quesada
Indian Conference on Logic and Its Applications, 132-145, 2015
62015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20