Complexity of interpolation and related problems in positive calculi

Publisher： Cambridge University Press

E-ISSN： 1943-5886|67|1|397-408

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.67, Iss.1, 2002-03, pp. : 397-408

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

The Projective Beth Property and Interpolation in Positive and Related Logics

By Maksimova L.  

Algebra and Logic, Vol. 45, Iss. 1, 2006-01 ,pp. : 49-66

Springer Publishing Company

Access to resources Recommend Favorite

Automatic recognition of interpolation in modal calculi

By Shreiner P.  

Algebra and Logic, Vol. 46, Iss. 1, 2007-01 ,pp. : 62-70

Springer Publishing Company

Access to resources Recommend Favorite

Hybrid logics: characterization, interpolation and complexity

By  

The Journal of Symbolic Logic, Vol. 66, Iss. 3, 2001-09 ,pp. : 977-1010

Cambridge University Press

Access to resources Recommend Favorite

A Behavioural Approach to Positive Real Interpolation

By Mayo A.J.   Antoulas A.C.  

Mathematical and Computer Modelling of Dynamical Systems, Vol. 8, Iss. 4, 2002-12 ,pp. : 445-455

Taylor & Francis Ltd

Access to resources Recommend Favorite

The Complexity of Problems for Quantified Constraints

By Bauland Michael  

Theory of Computing Systems, Vol. 47, Iss. 2, 2010-08 ,pp. : 454-490

Springer Publishing Company

Access to resources Recommend Favorite