default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKatsuhiko Sano
Person information
- affiliation: Hokkaido University, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j21]Ryo Murai
, Katsuhiko Sano:
Intuitionistic Public Announcement Logic with Distributed Knowledge. Stud Logica 112(3): 661-691 (2024)- [j20]Masanobu Toyooka, Katsuhiko Sano:
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation. Stud Logica 112(5): 1091-1121 (2024) - 2023
- [j19]Ryo Hatano, Katsuhiko Sano:
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. J. Log. Comput. 33(6): 1399-1436 (2023) - [j18]Youan Su, Katsuhiko Sano:
A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic. Stud Logica 111(4): 615-652 (2023) - [c41]Sizhuo Liu, Katsuhiko Sano:
Non-labelled Sequent Calculi of Public Announcement Expansions of bfK45 and bfS5. LORI 2023: 190-206 - 2022
- [j17]Ryo Murai, Katsuhiko Sano:
Intuitionistic Epistemic Logic with Distributed Knowledge. Computación y Sistemas 26(2) (2022) - [j16]Takahiro Sawasaki, Katsuhiko Sano:
Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics. J. Log. Comput. 32(1): 172 (2022) - [j15]Sujata Ghosh, Katsuhiko Sano:
Rely more or less, for better or for worse: Intertwining reliability and preferences. J. Log. Comput. 32(3): 518-553 (2022) - [c40]Hiroakira Ono, Katsuhiko Sano:
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. AiML 2022: 601-623 - [c39]Katsuhiko Sano, Tomoyuki Yamada:
Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic. TLLM 2022: 116-135 - [c38]Masanobu Toyooka, Katsuhiko Sano:
Combining First-Order Classical and Intuitionistic Logic. NCL 2022: 25-40 - [i6]Masanobu Toyooka, Katsuhiko Sano:
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. CoRR abs/2207.07416 (2022) - 2021
- [j14]Giulia Sindoni, Katsuhiko Sano, John G. Stell:
Expressing discrete spatial relations under granularity. J. Log. Algebraic Methods Program. 122: 100682 (2021) - [j13]Takahiro Sawasaki, Katsuhiko Sano:
Frame definability, canonicity and cut elimination in common sense modal predicate logics. J. Log. Comput. 31(8): 1933-1958 (2021) - [j12]Ryo Hatano, Katsuhiko Sano:
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms. Stud Logica 109(1): 95-124 (2021) - [c37]Takahiro Sawasaki, Katsuhiko Sano:
Term-Sequence-Dyadic Deontic Logic. DEON 2021: 376-393 - [c36]Youan Su, Ryo Murai, Katsuhiko Sano:
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. LORI 2021: 216-231 - 2020
- [j11]Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano:
A cut-free labelled sequent calculus for dynamic epistemic logic. J. Log. Comput. 30(1): 321-348 (2020) - [c35]Katsuhiko Sano:
Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. AiML 2020: 541-560 - [c34]Ryo Hatano, Katsuhiko Sano:
Constructive Dynamic Logic of Relation Changers. DaLí 2020: 137-154 - [c33]Ryo Murai, Katsuhiko Sano:
Craig Interpolation of Epistemic Logics with Distributed Knowledge. FoIKS 2020: 211-221
2010 – 2019
- 2019
- [j10]Katsuhiko Sano, Jonni Virtema:
Characterising modal definability of team-based logics via the universal modality. Ann. Pure Appl. Log. 170(9): 1100-1127 (2019) - [c32]Katsuhiko Sano, Minghui Ma:
Sequent Calculi for Normal Update Logics. ICLA 2019: 132-143 - [c31]Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada:
Term-Sequence-Modal Logics. LORI 2019: 244-258 - [c30]Youan Su, Katsuhiko Sano:
First-Order Intuitionistic Epistemic Logic. LORI 2019: 326-339 - 2018
- [j9]Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo:
Dynamic epistemic logic of belief change in legal judgments. Artif. Intell. Law 26(3): 201-249 (2018) - [j8]Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder:
Model Theory and Proof Theory of Coalgebraic Predicate Logic. Log. Methods Comput. Sci. 14(1) (2018) - [j7]Minghui Ma, Katsuhiko Sano:
How to update neighbourhood models. J. Log. Comput. 28(8): 1781-1804 (2018) - [c29]Giulia Sindoni, Katsuhiko Sano, John G. Stell:
Axiomatizing Discrete Spatial Relations. RAMiCS 2018: 113-130 - 2017
- [j6]Ryo Hatano, Katsuhiko Sano, Satoshi Tojo:
Teaching Modal Logic from the Linear Algebraic Viewpoint. FLAP 4(1) (2017) - [c28]Sujata Ghosh, Katsuhiko Sano:
Valuing Others' Opinions: Preference, Belief and Reliability Dynamics. ICAART (2) 2017: 615-623 - [c27]Katsuhiko Sano:
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus. LORI 2017: 224-239 - [c26]Katsuhiko Sano, John G. Stell:
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. M4M@ICLA 2017: 105-121 - [i5]Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder:
Model Theory and Proof Theory of CPL. CoRR abs/1701.03773 (2017) - [i4]Katsuhiko Sano:
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus. CoRR abs/1704.07149 (2017) - 2016
- [c25]Tetsuji Goto, Katsuhiko Sano, Satoshi Tojo:
Modeling Predictability of Agent in Legal Cases. ICA 2016: 13-18 - [c24]Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano:
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. LFCS 2016: 283-298 - [c23]Katsuhiko Sano, Jonni Virtema:
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. WoLLIC 2016: 392-409 - 2015
- [j5]Hitoshi Omori, Katsuhiko Sano:
Generalizing Functional Completeness in Belnap-Dunn Logic. Stud Logica 103(5): 883-917 (2015) - [c22]Katsuhiko Sano, Jonni Virtema:
Axiomatizing Propositional Dependence Logics. CSL 2015: 292-307 - [c21]Ryo Hatano, Katsuhiko Sano, Satoshi Tojo:
Linear Algebraic Semantics for Multi-agent Communication. ICAART (1) 2015: 174-181 - [c20]Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada:
Tableaux for Non-normal Public Announcement Logic. ICLA 2015: 132-145 - [c19]Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo:
Analyzing Belief Re-revision by Consideration of Reliability Change in Legal Case. KSE 2015: 228-233 - [c18]Katsuhiko Sano, Satoshi Tojo:
Dynamic Logic for Multi-agent (Mis) Communication. KSE 2015: 256-261 - [c17]Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo:
A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. LPAR 2015: 187-202 - [c16]Katsuhiko Sano, Jonni Virtema:
Characterizing Frame Definability in Team Semantics via the Universal Modality. WoLLIC 2015: 140-155 - [i3]Katsuhiko Sano, Jonni Virtema:
Characterising Modal Definability of Team-Based Logics via the Universal Modality. CoRR abs/1502.07884 (2015) - 2014
- [j4]Katsuhiko Sano, Hitoshi Omori:
An expansion of first-order Belnap-Dunn logic. Log. J. IGPL 22(3): 458-481 (2014) - [c15]Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema:
The Expressive Power of Modal Dependence Logic. Advances in Modal Logic 2014: 294-312 - [c14]Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo:
Analyzing Reliability Change in Legal Case. JSAI-isAI Workshops 2014: 274-290 - [i2]Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema:
The Expressive Power of Modal Dependence Logic. CoRR abs/1406.6266 (2014) - [i1]Katsuhiko Sano, Jonni Virtema:
Axiomatizing Propositional Dependence Logics. CoRR abs/1410.5038 (2014) - 2013
- [c13]Katsuhiko Sano, Satoshi Tojo:
Dynamic Epistemic Logic for Channel-Based Agent Communication. ICLA 2013: 109-120 - [c12]Pimolluck Jirakunkanok, Shinya Hirose, Katsuhiko Sano, Satoshi Tojo:
Belief Re-Revision in Chivalry Case. JSAI-isAI Workshops 2013: 230-245 - [c11]Minghui Ma, Katsuhiko Sano:
How to Update Neighborhood Models. LORI 2013: 204-217 - [c10]Katsuhiko Sano, Minghui Ma:
Alternative Semantics for Visser's Propositional Logics. TbiLLC 2013: 257-275 - 2012
- [c9]Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder:
Coalgebraic Predicate Logic. ICALP (2) 2012: 299-311 - 2011
- [c8]Katsuhiko Sano:
Generalized Product of Coalgebraic Hybrid Logics. CALCO 2011: 329-343 - [c7]Katsuhiko Sano:
First-Order Inquisitive Pair Logic. ICLA 2011: 147-161 - [c6]Katsuhiko Sano, Shingo Hagiwara, Satoshi Tojo:
An Intuitionistic Investigation of Prerequisite-Effect Structure. JSAI-isAI Workshops 2011: 170-183 - [c5]Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano:
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. TbiLLC 2011: 257-276 - 2010
- [j3]Katsuhiko Sano:
Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic? J. Appl. Log. 8(4): 459-474 (2010) - [c4]Katsuhiko Sano, Minghui Ma:
Goldblatt-Thomason-style Theorems for Graded Modal Language. Advances in Modal Logic 2010: 330-349 - [c3]Katsuhiko Sano:
Axiomatizing Hybrid Products of Monotone Neighborhood Frames. HyLo@LICS 2010: 51-67
2000 – 2009
- 2009
- [j2]Katsuhiko Sano:
Hybrid Counterfactual Logics. J. Log. Lang. Inf. 18(4): 515-539 (2009) - [c2]Katsuhiko Sano:
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. WoLLIC 2009: 365-378 - 2007
- [j1]Katsuhiko Sano, Kentaro Sato:
Semantical Characterizations for Irreflexive and Generalized Modal Languages. Notre Dame J. Formal Log. 48(2): 205-228 (2007) - 2006
- [c1]Katsuhiko Sano:
A Hybridization of Irreflexive Modal Logics. HyLo@FLoC 2006: 95-111
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
