Katsuhiko Sano

Available identifiers

zbMath Open sano.katsuhikoMaRDI QIDQ497415

List of research outcomes

Publication	Date of Publication	Type
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers	2024-02-08	Paper
Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic	2023-10-31	Paper
Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic	2023-08-16	Paper
A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic	2023-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5884967	2023-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5878383	2023-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5104725	2022-09-15	Paper
Rely more or less, for better or for worse: Intertwining reliability and preferences	2022-09-08	Paper
On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge	2022-06-24	Paper
Frame definability, canonicity and cut elimination in common sense modal predicate logics	2022-01-03	Paper
Constructive dynamic logic of relation changers	2021-12-01	Paper
Expressing discrete spatial relations under granularity	2021-09-03	Paper
Recapturing dynamic logic of relation changers via bounded morphisms	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5149160	2021-02-06	Paper
Craig interpolation of epistemic logics with distributed knowledge	2020-10-26	Paper
A cut-free labelled sequent calculus for dynamic epistemic logic	2020-04-29	Paper
Avoiding Impossibility Theorems in Radical Inquisitive Semantics	2020-02-04	Paper
Revising a Labelled Sequent Calculus for Public Announcement Logic	2020-02-04	Paper
Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics	2020-02-04	Paper
Term-sequence-modal logics	2020-01-30	Paper
First-order intuitionistic epistemic logic	2020-01-30	Paper
Sequent calculi for normal update logics	2020-01-14	Paper
Characterising modal definability of team-based logics via the universal modality	2019-09-18	Paper
How to update neighbourhood models	2019-07-10	Paper
Axiomatizing discrete spatial relations	2018-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4637694	2018-04-25	Paper
The Expressive Power of Modal Dependence Logic	2018-04-23	Paper
Axiomatizing epistemic logic of friendship via tree sequent calculus	2017-11-22	Paper
Axiomatizing Propositional Dependence Logics	2017-08-31	Paper
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic	2017-07-21	Paper
On Extensions of Basic Propositional Logic	2017-06-09	Paper
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics	2017-03-06	Paper
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality	2016-09-09	Paper
A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic	2016-01-12	Paper
Alternative Semantics for Visser’s Propositional Logics	2015-12-03	Paper
Generalizing functional completeness in Belnap-Dunn logic	2015-09-24	Paper
Characterising modal definability of team-based logics via the universal modality	2015-09-24	Paper
da Costa Meets Belnap and Nelson	2015-06-29	Paper
An expansion of first-order Belnap-Dunn logic	2015-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q2939559	2015-01-22	Paper
Tableaux for Non-normal Public Announcement Logic	2015-01-09	Paper
Dynamic Epistemic Logic for Channel-Based Agent Communication	2015-01-06	Paper
How to Update Neighborhood Models	2013-11-06	Paper
Axiomatizing Hybrid Products of Monotone Neighborhood Frames	2013-04-26	Paper
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory	2013-04-12	Paper
Coalgebraic Predicate Logic	2012-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q2904062	2012-08-05	Paper
Generalized Product of Coalgebraic Hybrid Logics	2011-09-02	Paper
Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?	2011-03-22	Paper
First-Order Inquisitive Pair Logic	2010-12-17	Paper
Hybrid counterfactual logics. David Lewis meets Arthur Prior again	2010-01-06	Paper
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic	2009-07-02	Paper
Semantical characterizations for irreflexive and generalized modal languages	2008-02-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Katsuhiko Sano