arXiv Analytics

Sign in

arXiv:1709.04715 [math.LO]AbstractReferencesReviewsResources

Relational Semantics for the Turing Schmerl Calculus

Eduardo Hermo Reyes, Joost J. Joosten

Published 2017-09-14Version 1

In this paper we present relational semantics for the system TSC by considering a small variation on Ignatiev's frame. This is a draft version and shortly a more complete version will be published.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1804.10452 [math.LO] (Published 2018-04-27)
A Finitely Supported Frame for the Turing Schmerl Calculus
arXiv:math/0612542 [math.LO] (Published 2006-12-19)
Completeness results for many-valued \Lukasiewicz modal systems and relational semantics
arXiv:2403.01274 [math.LO] (Published 2024-03-02)
Modal weak Kleene logics: axiomatizations and relational semantics

Links

Toolbox