Concepedia

Katsuhiko Sano

KS

9

Publications

165

Citations

9

H-Index

2009

Active since

Affiliations

Japan Advanced Institute of Science and Technology(Current)

Kyoto University

Tampere University

Katsuhiko Sano is an author at Japan Advanced Institute of Science and Technology specializing in automated reasoning, semantics, and engineering.

Top concepts

Automated ReasoningSemanticsEngineeringFormal MethodsLinguisticsComputer ScienceFormal VerificationLanguageSyntaxPragmatics

Publications per year

2009–2017

9

Publications

9

Generalizing Functional Completeness in Belnap-Dunn Logic

Hitoshi Omori, Katsuhiko Sano · Studia Logica · 2015 · 41 citations

Functional Completeness, Automated Reasoning, Classical Logic +2

Conditional independence and biscuit conditional questions in Dynamic Semantics

Katsuhiko Sano, Yurie Hara · Proceedings from Semantics and Linguistic Theory · 2015 · 28 citations · Full text

Formal Semantics, Non-classical Logic, Syntax +14

The Expressive Power of Modal Dependence Logic

Lauri Hella, Kerkko Luosto, Katsuhiko Sano et al. · arXiv (Cornell University) · 2014 · 22 citations · Full text

Non-classical Logic, Expressive Power, Engineering +11

Axiomatizing hybrid products

Katsuhiko Sano · Journal of Applied Logic · 2010 · 16 citations

Hybrid Products, Engineering, Automated Reasoning +5

Hybrid Counterfactual Logics

Katsuhiko Sano · Journal of Logic Language and Information · 2009 · 13 citations

Non-classical Logic, Paraconsistent Logic, Engineering +5

Rows per page

1–5 of 9