Takahiro Seki

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Online weight balancing on the unit circle Lecture Notes in Computer Science	2015-09-14	Paper
Halldén completeness for relevant modal logics Notre Dame Journal of Formal Logic	2015-07-20	Paper
Some metacomplete relevant modal logics Studia Logica	2013-12-05	Paper
An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics Studia Logica	2013-02-18	Paper
Metacompleteness of substructural logics Studia Logica	2013-02-18	Paper
The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations Studia Logica	2011-05-27	Paper
The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models Studia Logica	2011-03-31	Paper
Completeness of relevant modal logics with disjunctive rules	2009-06-23	Paper
General frames for relevant modal logics Notre Dame Journal of Formal Logic	2005-07-13	Paper
A Sahlqvist theorem for relevant modal logics Studia Logica	2003-06-09	Paper
scientific article; zbMATH DE number 2024617 (Why is no real title available?)	2001-01-01	Paper

Research outcomes over time

This page was built for person: Takahiro Seki