5 papers
The Cardinalities of Intervals of Equational Theories and Logics
Juan P. Aguilera, Nick Bezhanishvili, Tenyo Takahashi
We study the cardinality of classes of equational theories (varieties) and logics by applying descriptive set theory. We affirmatively solve open problems raised by Jackson and Lee…
Most Properties are Undecidable for Transitive Tense Logics
Qian Chen, Tenyo Takahashi
A logics' property is decidable in a class of logics if there exists an algorithm that decides whether a finitely axiomatizable logic in the class has the property. Many properties…
Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction
Tenyo Takahashi
We present a new method, the Subdivision Construction, for proving the finite model property (the fmp) for broad classes of modal logics and modal rule systems. The construction bu…
Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
Tenyo Takahashi
We generalize the theory of stable canonical rules by adopting definable filtration, a generalization of the method of filtration. We show that for a modal rule system or a modal l…
Decidability of Being a Union-splitting
Tenyo Takahashi
Many logical properties are known to be undecidable for normal modal logics, with few exceptions such as consistency and coincidence with . This paper shows that the pr…