Unifiers in transitive modal logics for formulas with coefficients (meta-variables)

Author: Rybakov Vladimir  

Publisher: Oxford University Press

ISSN: 1368-9894

Source: Logic Journal of the IGPL, Vol.21, Iss.2, 2013-04, pp. : 205-215

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