Katsuhiko Sano

Citado por

	Total	Desde 2019
Citas	613	365
Índice h	14	9
Índice i10	23	9

2007200820092010201120122013201420152016201720182019202020212022202320243 1 3 5 14 6 8 27 52 37 52 35 54 61 44 78 75 53

Acceso público

Ver todo

3 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Jonni VirtemaLecturer, University of Sheffield, UKDirección de correo verificada de sheffield.ac.uk
Minghui MaSun Yat-Sen UniversityDirección de correo verificada de mail.sysu.edu.cn
Hitoshi OmoriTohoku UniversityDirección de correo verificada de tohoku.ac.jp
Dirk PattinsonAustralian National UniversityDirección de correo verificada de anu.edu.au
tadeusz litakFAU Erlangen-Nürnberg, Informatik 8Dirección de correo verificada de cs.fau.de
John StellSchool of Computing, University of LeedsDirección de correo verificada de leeds.ac.uk
Masanobu ToyookaGraduate School of Humanities and Human Sciences, Hokkaido UniversityDirección de correo verificada de elms.hokudai.ac.jp
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergDirección de correo verificada de cs.fau.de
Takahiro SawasakiNational Institute of InformaticsDirección de correo verificada de nii.ac.jp
Hiroakira OnoJapan Advanced Institute of Science and TechnologyDirección de correo verificada de jaist.ac.jp
Lauri HellaMatematiikan professori, Tampereen yliopistoDirección de correo verificada de uta.fi
Giulia SindoniFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Yurie HaraHokkaido UniversityDirección de correo verificada de imc.hokudai.ac.jp
Tomoyuki YamadaProfessor Emeritus of PhilosophyDirección de correo verificada de hokkaido.email.ne.jp
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i BergenDirección de correo verificada de uib.no
François SchwarzentruberÉcole Normale Supérieure de LyonDirección de correo verificada de ens-lyon.fr
Sujata GhoshComputer Science, Indian Statistical Institute, ChennaiDirección de correo verificada de isichennai.res.in
Satoshi TojoJapan Advanced Institute of Science and Technology

Seguir

Katsuhiko Sano

Professor, Faculty of Humanities and Human Sciences, Hokkaido University

Dirección de correo verificada de let.hokudai.ac.jp - Página principal

Logic


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The expressive power of modal dependence logic L Hella, K Luosto, K Sano, J Virtema Advances in Modal Logic 10, 294-312, 2014	55	2014
Generalizing functional completeness in Belnap-Dunn logic H Omori, K Sano Studia Logica 103, 883-917, 2015	54	2015
An expansion of first-order Belnap–Dunn logic K Sano, H Omori Logic Journal of the IGPL 22 (3), 458-481, 2014	47	2014
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	30*	2018
da Costa Meets Belnap and Nelson H Omori, K Sano Recent Trends in Philosophical Logic, 145-166, 2014	25	2014
Sound and complete tree-sequent calculus for inquisitive logic K Sano International Workshop on Logic, Language, Information, and Computation, 365-378, 2009	21	2009
Axiomatizing Propositional Dependence Logics K Sano, J Virtema arXiv preprint arXiv:1410.5038, 2014	20	2014
How to update neighbourhood models M Ma, K Sano Journal of Logic and Computation, 2015	18	2015
Dynamic epistemic logic for channel-based agent communication K Sano, S Tojo Indian Conference on Logic and Its Applications, 109-120, 2013	18	2013
Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic? K Sano Journal of Applied Logic 8 (4), 459-474, 2010	18	2010
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics K Sano, JG Stell arXiv preprint arXiv:1703.02198, 2017	16	2017
Avoiding Impossibility Theorems in Radical Inquisitive Semantics K Sano Modality, Semantics and Interpretations, 107-120, 2015	15*	2015
Goldblatt-Thomason-style Theorems for Graded Modal Language. K Sano, M Ma Advances in Modal Logic 2010, 330-349, 2010	15	2010
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	14	2015
Conditional independence and biscuit conditional questions in Dynamic Semantics K Sano, Y Hara Semantics and Linguistic Theory 24, 84-101, 2014	14	2014
Hybrid counterfactual logics: David Lewis meets Arthur Prior again K Sano Journal of Logic, Language and Information 18, 515-539, 2009	14	2009
First-order inquisitive pair logic K Sano Indian Conference on Logic and Its Applications, 147-161, 2011	12	2011
First-order intuitionistic epistemic logic Y Su, K Sano International Workshop on Logic, Rationality and Interaction, 326-339, 2019	11	2019
Axiomatizing epistemic logic of friendship via tree sequent calculus K Sano Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017 …, 2017	11	2017
Axiomatizing hybrid products of monotone neighborhood frames K Sano Electronic Notes in Theoretical Computer Science 273, 51-67, 2011	11	2011

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores