Takahiro Seki

Available identifiers

zbMath Open seki.takahiroMaRDI QIDQ383573

List of research outcomes

Publication	Date of Publication	Type
Online Weight Balancing on the Unit Circle	2015-09-14	Paper
Halldén completeness for relevant modal logics	2015-07-20	Paper
Some metacomplete relevant modal logics	2013-12-05	Paper
An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics	2013-02-18	Paper
Metacompleteness of substructural logics	2013-02-18	Paper
The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations	2011-05-27	Paper
The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models	2011-03-31	Paper
Completeness of relevant modal logics with disjunctive rules	2009-06-23	Paper
General frames for relevant modal logics	2005-07-13	Paper
A Sahlqvist theorem for relevant modal logics	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4443192	2001-01-01	Paper

Research outcomes over time

This page was built for person: Takahiro Seki