Yoshihito Tanaka

collaborators

3 papers

math.LO2026

A proof system for the positive fragment of GL

Yoshihito Tanaka

In this paper, we present a proof system $GL_{+}^{⊤⊥}$ , which is based on a sequent system $K_{+}^{⊤⊥}$ given by Dunn, for the positive fragment of $\…

math.LO2026

Neighborhood and algebraic models for predicate modal logics with $I ¨ $ -rules

Yoshihito Tanaka

This paper investigates neighborhood and algebraic models for predicate modal logics with $I ¨ $ -rules, including non-normal cases. We establish sufficient conditions under which suc…

math.LO2025

Models for the common knowledge logic

Yoshihito Tanaka

In this paper, we discuss models of the common knowledge logic. The common knowledge logic is a multi-modal logic that includes the modal operators $K_{i}$ ($i\in\mathcal{…

A proof system for the positive fragment of GL

Neighborhood and algebraic models for predicate modal logics with I¨-rules

Models for the common knowledge logic

Neighborhood and algebraic models for predicate modal logics with $I ¨ $ -rules