The following pages link to Katsuhiko Sano (Q497415):
Displayed 50 items.
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again (Q1047798) (← links)
- Axiomatizing discrete spatial relations (Q1617812) (← links)
- Axiomatizing epistemic logic of friendship via tree sequent calculus (Q1679760) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- Constructive dynamic logic of relation changers (Q2055760) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
- Craig interpolation of epistemic logics with distributed knowledge (Q2206783) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Sequent calculi for normal update logics (Q2284184) (← links)
- Term-sequence-modal logics (Q2291242) (← links)
- First-order intuitionistic epistemic logic (Q2291248) (← links)
- Semantical characterizations for irreflexive and generalized modal languages (Q2472609) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- How to Update Neighborhood Models (Q2859106) (← links)
- (Q2904062) (← links)
- Dynamic Epistemic Logic for Channel-Based Agent Communication (Q2936234) (← links)
- Tableaux for Non-normal Public Announcement Logic (Q2937396) (← links)
- (Q2939559) (← links)
- On Extensions of Basic Propositional Logic (Q2989971) (← links)
- First-Order Inquisitive Pair Logic (Q3063977) (← links)
- Generalized Product of Coalgebraic Hybrid Logics (Q3090878) (← links)
- Coalgebraic Predicate Logic (Q3167020) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic (Q3460054) (← links)
- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic (Q3638296) (← links)
- The Expressive Power of Modal Dependence Logic (Q4636299) (← links)
- (Q4637694) (← links)
- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (Q4914523) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
- Frame definability, canonicity and cut elimination in common sense modal predicate logics (Q5019280) (← links)
- Rely more or less, for better or for worse: Intertwining reliability and preferences (Q5103711) (← links)
- (Q5104725) (← links)
- A cut-free labelled sequent calculus for dynamic epistemic logic (Q5108028) (← links)
- (Q5149160) (← links)
- An expansion of first-order Belnap-Dunn logic (Q5172135) (← links)
- Avoiding Impossibility Theorems in Radical Inquisitive Semantics (Q5213657) (← links)
- Revising a Labelled Sequent Calculus for Public Announcement Logic (Q5213671) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- How to update neighbourhood models (Q5222682) (← links)
- da Costa Meets Belnap and Nelson (Q5259662) (← links)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)
- Axiomatizing Propositional Dependence Logics (Q5351964) (← links)
- (Q5878383) (← links)
- (Q5884967) (← links)
- Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic (Q6058202) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)
- Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic (Q6116775) (← links)