佐野 勝彦

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation 

Studia Logica 112 1091-1121 2024年10月  査読有り最終著者

Hybrid Logic of the Hide and Seek Game 

Studia Logica 2024年  査読有り筆頭著者

Non-labelled Sequent Calculi of Public Announcement Expansions of K45 and S5 

Logic, Rationality, and Interaction 190-206 2023年10月24日  最終著者

Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic 

The Australasian Journal of Logic 20(3) 397-411 2023年10月19日  最終著者

Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic. 

Dynamics in Logic and Language 116-135 2023年2月  査読有り筆頭著者

Three faces of recursion axioms: the case of constructive dynamic logic of relation changers 

Journal of Logic and Computation 33(6) 2023年  査読有り最終著者

Analytic Cut and Mints' Symmetric Interpolation Method for Bi-intuitionistic Tense Logic 

Advances in Modal Logic 14 601-623 2022年7月  査読有り最終著者責任著者

Intuitionistic Epistemic Logic with Distributed Knowledge 

Computacion y Sistemas 26(2) 823-834 2022年6月  査読有り最終著者

Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. 

abs/2207.07416 2022年  

Combining First-Order Classical and Intuitionistic Logic. 

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL) 25-40 2022年  査読有り

Rely more or less, for better or for worse: Intertwining reliability and preferences 

Journal of Logic and Computation 32(3) 2022年  査読有り最終著者責任著者

On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. 

Logic, Rationality, and Interaction - 8th International Workshop(LORI) 216-231 2021年10月  査読有り

Expressing discrete spatial relations under granularity 

Journal of Logical and Algebraic Methods in Programming 122 100682-100682 2021年4月  査読有り

Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms 

Studia Logica 109(1) 95-124 2021年2月  査読有り

Term-Sequence-Dyadic Deontic Logic. 

Deontic Logic and Normative Systems 15 376-393 2021年  査読有り

Frame definability, canonicity and cut elimination in common sense modal predicate logics 

Journal of Logic and Computation 31(8) 2021年  査読有り

Constructive Dynamic Logic of Relation Changers 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12569 LNCS 137-154 2020年12月  査読有り