Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics

Author： Kosheleva A.  

Publisher： Springer Publishing Company

ISSN： 0002-5232

Source： Algebra and Logic, Vol.44, Iss.4, 2005-07, pp. : 243-255

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

We examine some many-modal logics extending S5t, t ∈ N, for decidability w.r.t. admissibility of inference rules, and for the logics in question, we prove an algorithmic criterion determining whether the inference rules in them are admissible.

Related content

Some Arithmetic on the Hardy Sums s2(h, k) and s3(h, k)

By Can Mümün  

Acta Mathematica Sinica, Vol. 20, Iss. 2, 2004-03 ,pp. : 193-200 (8)

Springer Publishing Company

Access to resources Recommend Favorite

Interval Valued Intuitionistic (S, T)–fuzzy H v –submodules

By Zhan Jian   Dudek W.  

Acta Mathematica Sinica, Vol. 22, Iss. 4, 2006-07 ,pp. : 963-970 (8)

Springer Publishing Company

Access to resources Recommend Favorite

From the Icosahedron to Natural Triangulations of P 2 and S 2×S 2

By Bagchi Bhaskar   Datta Basudeb  

Discrete & Computational Geometry, Vol. 46, Iss. 3, 2011-10 ,pp. : 542-560 (19)

Springer Publishing Company

Access to resources Recommend Favorite

On positive scalar curvature on S 2

By Ji Min  

Calculus of Variations and Partial Differential Equations, Vol. 19, Iss. 2, 2004-01 ,pp. : 165-182 (18)

Springer Publishing Company

Access to resources Recommend Favorite

A Bijection for the Alperin Weight Conjecture in S n

By Cossey James  

Algebras and Representation Theory, Vol. 14, Iss. 2, 2011-04 ,pp. : 391-402 (12)

Springer Publishing Company

Access to resources Recommend Favorite