A Criterion for Admissibility of Inference Rules in Some Class of S4-Logics Without the Branching Property

ISSN： 0037-4466

Source： Siberian Mathematical Journal, Vol.44, Iss.4, 2003-07, pp. : 568-576

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

Related content

Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2

By Rybakov V.V. Rimatskii V.V.

Siberian Mathematical Journal, Vol. 43, Iss. 2, 2002-03 ,pp. : 357-362

Springer Publishing Company

Access to resources Recommend Favorite

An admissibility criterion for inference rules with metavariables in the modal logic S4.α _N

By Rutskii A.

Siberian Mathematical Journal, Vol. 48, Iss. 2, 2007-03 ,pp. : 317-326

Springer Publishing Company

Access to resources Recommend Favorite

An Inheritance Criterion for the Admissible Inference Rules of K4

By Rutskii A.N. Fedorishin B.R.

Siberian Mathematical Journal, Vol. 43, Iss. 6, 2002-11 ,pp. : 1094-1102

Springer Publishing Company

Access to resources Recommend Favorite

The Saturation Property for Branching Rules—Examples

By Pasquier B. Ressayre N.

Experimental Mathematics, Vol. 22, Iss. 3, 2013-07 ,pp. : 299-312

Taylor & Francis Ltd

Access to resources Recommend Favorite

Alternative branching rules for some nonconvex problems

By Locatelli M.

Optimization Methods and Software, Vol. 30, Iss. 2, 2015-03 ,pp. : 365-378

Taylor & Francis Ltd

Access to resources Recommend Favorite