The following pages link to Takahiro Seki (Q383573):
Displayed 11 items.
- Some metacomplete relevant modal logics (Q383574) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (Q539157) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158) (← links)
- A Sahlqvist theorem for relevant modal logics (Q1810815) (← links)
- Metacompleteness of substructural logics (Q1935554) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← links)
- Halldén completeness for relevant modal logics (Q2354625) (← links)
- Online Weight Balancing on the Unit Circle (Q2945664) (← links)
- (Q3632245) (← links)
- (Q4443192) (← links)